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