{-# htermination maybe :: b -> (a -> b) -> Maybe a -> b #-}