| Or I suppose, one could rephrase this question as why not | simplify instance declarations to be: | | instance ToSet where | toSet = Set.fromList | | And let the typechecker take care of figuring out what instance is | being specified here?
That might be possible, but Haskell forces you to be a bit more explicit, that's all. Simon _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe