module Test(g) where

data B = TT | FF

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