let f : a -> a = \x. x+1 in f
let f : a -> a = \x. x+x in f
let f : a -> b -> a = \x, y. y in f
let f : a*b -> b = \p. {? a when p is (a,_) ?} in f
let f : List(a) -> List(a) = \x. list (bag x) in f
let f : a -> a -> Bool = \x, y. x < y in f