| 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