Higher order and Partial Functions