Function arg + return type checking