Clarify the difference between NameL and NameU in Template Haskell
Reading the docs in Language.Haskell.TH.Syntax, I got the impression that when reifying the type
data P a b = P a b
defined outside of TH, the type variables a and b will be NameLs; but in my experiments, they come out as NameUs.
Are NameLs used anywhere at all? In any case, I think the docs should be updated to explain the difference clearly.