
5 Sep
2011
5 Sep
'11
6:35 p.m.
On Mon, Sep 5, 2011 at 1:43 PM, Joachim Breitner
Do you think this could be useful (from a user point of view)? Has this idea maybe already been proposed?
How does it compare with Oleg's typeclass approach? http://okmij.org/ftp/Haskell/types.html#Prepose -- gwern http://www.gwern.net