module ShouldSucceed where

g ((x:z),y) = x
g (x,y) = 2
