On 9/08/2012, at 11:11 AM, wren ng thornton wrote: > > Notably, a type class instantiated with all its arguments is not itself a type! All the comparisons of Haskell typeclasses with Java classes answered in one brief lucid sentence.