fact: Fixpoint showColor (c : color) := match c with | Red => "Red" | Black => "Black" end.
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String