module Test(g) where

data B = TT | FF

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