module Test(g) where

data B = TT | FF

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