Allowed arity error for defspec