Combinators which infer arities
