Now that ghc has multi-parameter type classes, is anyone working on an implementation (or does an implementation already exist) of the bulk type classes described in the "Bulk Types with Class" (Simon Peyton Jones) paper ? I'm aware of the Edison library, but its focus seems to be different. Tim -- ---------------------------------------------------------------------- T.R.BARBOUR Email : [EMAIL PROTECTED] ---------------------------------------------------------------------- Department of Computer Science The University of Melbourne Parkville, Victoria 3052 Australia ----------------------------------------------------------------------