module T12051 where

data T = (+++) Int