revert arg-types + return-type checking (not needed)