* fixed type checking for immutable functions