app.hs

instance Monad f => Applicative (OptionalT f) where
  pure      = OptionalT . pure . Full
  mf <*> ma = OptionalT $ do
    optf <- runOptionalT mf
    case optf of
        Empty  -> return Empty
        Full f -> do
            opta <- runOptionalT ma
            return $ f <$> opta