module T19 where
import Data.Word (Word)
type W = Word

-- >>> default (Word)
-- >>> :type  +d   40+ 2 
-- 40+ 2 :: Word