Ability to specify the namespace in mkName
data Foo data Bar = Foo
If we do
reify (mkName "Foo") then we get the information about "
Foo the type", and not about "
Foo the constructor".
(This is problematic, say, for a quasiquoter
[qq| ... Foo ... |]
because the quasiquoter is forced to use
mkName "Foo" as the
Name for reify -- the forms
''Foo are unavailable to it.)
I would like a way around this problem. It seems like it would be enough to communicate the namespace to
mkName, so that the ambiguity no longer exists.