TH type quotes cannot contain free type variables
|Reported by:||Lennart||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
A type quote cannot contain a free type variable, e.g.
module TH where import Language.Haskell.TH foo = [t| a |]
This is very awkward when passing arguments that are going into instance declarations since these need to have free type variables.