consIndex{|Char|} c = toInt c
consIndex{|String|} _ = 0
-import StdMisc, StdDebug
-
conses :: [a] | gconses{|*|} a
conses = gconses{|*|} True
gconses{|{}|} _ _ = [{}]
gconses{|{!}|} _ _ = [{!}]
gconses{|()|} _ = [()]
+gconses{|(->)|} _ _ _ = [const undef]