module T20846 where

infixr ++++
(++++) = undefined