module T16 where

-- >>> :type  +d   40+ 2