module T16 where

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