Allow reify to yield types in the current declaration group
Here is the motivation TemplateHaskell/Reify.
It would be useful to have a way to obtain types of identifiers in the current declaration group in splices. However,
reify is defined to provide information about identifiers in previous declaration groups only.
It would be fine to allow
reify to work in a scheme combined with
addModFinalizer or similar so it is executed when the types are known.