You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
interpret relies on the Show instance of TypeRep, which doesn't yield syntactically valid expressions when it needs to specify the contextual kind of a polykinded constructor.
You can see a concrete example of the problem this causes on Stack Overflow.
It looks like this might be fixable by using Type.Reflection.... instead of Data.Typeable..... I'd be glad to try to help; we're right at the limits of my current understanding of Haskell.