Hi Adam,
It's great to hear that you are trying the plugins functionality, this
is exactly the kind of experimentation it's designed for! I'm a little
confused about what you're trying to achieve, though. Can you give some
examples of code you'd like to be able to write?
In general, GHC's type in
Hi Adam,
I've added a README which tries to explain things:
https://github.com/aavogt/HListPlugin
When I produce a wanted constraint from a wanted constraint, things
work as I wanted. Thanks for the suggestion!
Regards,
Adam
On Mon, Feb 16, 2015 at 4:36 AM, Adam Gundry wrote:
> Hi Adam,
>
> It