{-# htermination (>>) :: [] a -> [] b -> [] b #-}
content may be truncated. 'popout' for larger text window.