module Test(g) where

data B = TT | FF

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