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