module T17 where -- >>> :type +no 42 -- parse error on input ‘+’