+ --
+ -- Furthermore, the tyvars are PatSigTvs, which means that we get better
+ -- error messages when type variables escape:
+ -- Inferred type is less polymorphic than expected
+ -- Quantified type variable `t' escapes
+ -- It is mentioned in the environment:
+ -- t is bound by the pattern type signature at tcfail103.hs:6