Enable makeWrapped to work with data family instances
madeline-os opened this issue · 1 comments
madeline-os commented
Similar to #733 , makeWrapped
could use reifyDatatype
so that data family instances can be named by their constructors. Probably a good idea to figure out what else can be enhanced in this way.
RyanGlScott commented
Good suggestion! Upon further inspection, it looks like makeWrapped
is the only part of lens
' TH machinery that is still using reify
instead of th-abstraction
's reifyDatatype
. It's high time that we changed that. I've submitted #998 with a fix.