ERROR "tcfail007.hs":3 - Instance of Num Bool required for definition of n
