Partially evaluates -> Partially applies