tcfail037.hs:7:
    Ambiguous occurrence `+'
    It could refer to either `ShouldFail.+', defined at tcfail037.hs:10
		          or `PrelNum.+', imported from Prelude at tcfail037.hs:3 ()