Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Anyone have a good implementation of reifyInstances on hand?
looking to not need to chase the instance graph
Info doc says that it contains visible instances in ClassI
yes but it is not helpful :)
it returns the instance dec
eg if i reify looking for the instance Monoid (Identity Int)
Monoid (Identity Int)
it will give me back instance Monoid a => Monoid (Identity a)
instance Monoid a => Monoid (Identity a)