module Test(g) where

data B = TT | FF

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