ekmett/constraints — pull request #2 by sjoerdvisscher (2012-07-22 16:31:47+00:00)
Title: Add ForallT

I need this to make `Free c` `Traversable`. See https://gist.github.com/2965235. (By the way, do you know of a way to derive applicative instances of type classes?)

I first tried `ForallF1 (ForallF c) t`, which would be a more modular solution. But that isn't allowed as `ForallF` is a type synonym with 2 arguments.