Tue Jul 21 19:29:56 EDT 2015

Code gen / Existentials

If existentials are used, they pop up in weird places where I don't
understand how to specify the constraints, as in the Arrow instance.

This is an interesting problem in itself, to try to understand Haskell
better.  That seems to be the real problem here: how to navigate all
that type candy.