Maybe
Maybe
BottomCat
BotB and use in BottomCat
BottomCat without constraint
Drop unused Vec variant, obsoleted by circuit optimizations.
flattenMb; "namedOpt" --> "primOpt"
RepIf macro
RepIf macro
comment
Unfold-based lists
Show': Show for all type arguments
moved Prim to circat; misc supporting changes
Moved here from lambda-ccc
added for Show'
dropping Typeable
Finish dropping Typeable
Switching from MuxCat to IfCat
IfCat / primOptIf
"mux" --> "if"