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