{-# htermination sequence_ :: [Maybe a] -> Maybe () #-}