{-# htermination ap :: Maybe (a -> b) -> Maybe a -> Maybe b #-}
import Monad