Greetings,
Someone on comp.lang.functional was asking how to map through arbitrary
nestings of lists, so I thought I'd demonstrate how his non-working ML
function could actually be typed in GHC, like so:
--- snip ---
{-# LANGUAGE TypeFamilies, GADTs, EmptyDataDecls,
Rank2Types,
David Menendez:
On Thu, Mar 5, 2009 at 10:07 PM, Dan Doel dan.d...@gmail.com wrote:
But we've so far not been able to find a way of merely annotating
the original
into working. So, I was wondering if any of the more knowledgeable
folks here
could illuminate what's going wrong here, and