On 27 June 2010 14:30, Roman Leshchinskiy <r...@cse.unsw.edu.au> wrote:
> In that case, isn't D just the dictionary for (X d) and a value of type (d
> a)? I.e., couldn't we always define it as:
>
> data D d a where { D :: X d => d a -> D d a }
I wondered about this, but how would you write e.g. the "return"
method for Codensity? You don't have an input dictionary to work with.
Cheers,
Max
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
