Shiqi Cao wrote:

Error messages from GHC contain inferred type variables, is there anyway to find out which term an inferred type variable is for(if the term exists)?

Example: f :: a -> a f xs = map not xs This causes: Couldn't match expected type `[Bool]' against inferred type `a' `a' is a rigid type variable bound by the type signature for `f' at F.hs:3:5 In the second argument of `map', namely `xs' It says `a' is for `xs'.