fact: Definition Cont_apply {R X Y} (kf : Cont R (X -> Y)) (kx : Cont R X) : Cont R Y := fun h => kf (fun f' => kx (fun x' => h (f' x'))).
imports: Hask.Prelude Hask.Control.Monad Hask.Data.Functor.Identity Hask.Data.Functor.Yoneda