Pepe Iborra

This is not immediately useful, because of free variables. The TH wrapper would need to eliminate them, probably via closure conversion or lambda lifting, so not trivial.

We might want a representation for lists as well, for the same reasons.

So that was the reason ! Maybe the ticket should belong in the Hoed repo. Part of these are already addressed by my [last PR](https://github.com/MaartenFaddegon/Hoed/pull/17), but it isn't merged yet.

It would probably be easier to just open the source file and copy the original code verbatim.

I'm working on this in the debug frontend and in the debug-hoed backend

> I would prefer to support only one major version of GHC at a time. Honestly that's really all I have the bandwidth to do. It's unfortunate that doing that...

What kind of assertions do you have in mind? Can you share an example?

I'm interested in understanding your use case. Would you be able to share an example?

We use `liftIO`, because the hunit assertion combinators that we use are not lifted to `MonadThrow`. I can see how the lifted version enabled by `MonadThrow` is nicer, so this...

To make things slightly worse, `Map.size` is O(1) but `IntMap.size` is O(n)