On Wed, May 21, 2014 at 1:38 AM, Evan Laforge <qdunkan@gmail.com> wrote:

So perhaps the way forward is to find the old proposal (or make a new
one, if it's gone), and see if Idris's solution applies to haskell.

Is Idris's solution written up anywhere? Mind sharing the link?

-- Kim-Ee