Tom Harding

but I can still feed `Map` into my `a -> m (Either a b)`, right? I mentioned in my reply to @Avaq that we _could_ introduce [Bifoldable](https://hackage.haskell.org/package/bifunctors-5.4.2/docs/Data-Bifoldable.html) and then specify...

Ah, that is a damn shame. I guess the only applicable structure is coproduct, which is, well, a sum type :/ Curses! I'll keep thinking.

Yikes! I think you're right that this shouldn't happen. At a guess, I'd say that for whatever reason, `b` isn't getting assigned a value, and so back-propagating `5 - 1`...

Yikes! My sample of 100 runs got 67 failures, which is definitely not good... So, every time a failure is encountered, the library "blames" a subset of the configuration, and...

Looks good for me, too! Thanks!

This is interesting! I'm pretty busy this weekend, but next week I'll take a look at some core - I've always (optimistically) assumed that GHC has some generics-specific specialising that...

This is actually really tricky - the problem is that the rep transformation is no longer injective, so type inference _really_ degrades as a result. This is also why there's...

It's a really tricky one for a number of reasons. The short answer is "yes, and I have a good idea how I'd go about it". The long answer? Well,...

Do you have an example of current usage that you can link me? I've never seen Obelisk and the Route module is... a little overwhelming 😄

+1, and I'll be happy to take a look in a week or two. Until then, I'm using this hack: ``` php $req->server()->set('REQUEST_URI', $req->server()->get('PATH_INFO')); ```