-- !!! Bindings of different arities
module M where
f 0 = id
f x y = x+y