Deriving the applicative order Y-combinator