simplify arities