tcfail007.hs:3:
    No instance for `Num Bool'
    arising from the literal `1' at tcfail007.hs:3
    In the second argument of `(+)', namely `1'
    in the definition of function `n': x + 1