+++ /dev/null
-module test
-
-import StdList, StdEnum
-import StdGeneric
-
-generic gFDomain a :: [a]
-gFDomain{|Bool|} = [False,True]
-gFDomain{|Char|} = map toChar [0..255]
-gFDomain{|UNIT|} = [UNIT]
-gFDomain{|PAIR|} dx dy = [PAIR x y \\ x <- dx, y <- dy]
-gFDomain{|EITHER|} dx dy = map LEFT dx ++ map RIGHT dy
-gFDomain{|CONS|} dx = [CONS x\\x<-dx]
-gFDomain{|FIELD|} dx = [FIELD x\\x<-dx]
-gFDomain{|OBJECT|} dx = [OBJECT x\\x<-dx]
-
-derive bimap []
-derive gFDomain T
-
-:: T = S T | Z
-
-Start = hd [() \\ _ <- dom]
-
-dom :: [T]
-dom = gFDomain{|*|}