module Test(g) where

data B = TT | FF

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