module Test(g) where

data B = TT | FF

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