module Test(g) where

data B = TT | FF

g y0 FF = TT
g TT TT = TT
g FF TT = TT