module Test(g) where

data B = TT | FF

g TT y1 TT x1 = TT
g FF y1 TT x1 = TT
g y0 TT x0 TT = TT
g y0 FF x0 TT = TT
g y0 y1 FF FF = TT