module T17 where

-- >>> :type  +no 42