fact: Definition Maybe_apply {X Y} (f : Maybe (X -> Y)) (x : Maybe X) : Maybe Y := match f with | Nothing => Nothing | Just f' => match x with | Nothing => Nothing | Just x' => Just (f' x') end end.
imports: Hask.Control.Monad