{-# htermination sequence :: [Maybe a] -> Maybe [a] #-}