partially applied functions have no type inference