Partial functions are not partially applied functions