Is it possible to write a function arity :: a -> Integer to determine the arity of arbitrary functions, such that
arity :: a -> Integer
> arity map 2 > arity fol
How about this:
arity :: a -> Int arity (b->c) = 1 + arity (c) arity _ = 0