f : List(Int) -> Bool
f (left(x)) = false

g : N -> Bool
g (x,y) = false

h : Z*Z -> Bool
h(3:Z) = false
