{-# htermination maybeToList :: Maybe a -> [a] #-}
import Maybe