module test

import StdEnv

import Data.GenFDomain

:: T = S T | Z

derive bimap []
derive gFDomain T

Start = hd [() \\ _ <- dom]

dom :: [T]
dom = gFDomain{|*|}