Haskell, Gen-Instanz von B, wenn Klasse A genügend Informationen für Klasse B bereitstellt

Während ich eine Klasse für einen Collection / Container-Typ schreibe (übrigens auf vorhandene Typen hinweisen, wenn ich das Rad neu erfinde), um eine allgemeine Schnittstelle zum Hinzufügen und Entfernen von Elementen zu jedem 'Collection'-Typ ...