{-# htermination fromMaybe :: a -> Maybe a -> a #-}
import Maybe