fixed type checking partial applications