Grundsätzlich, wenn {-# LANGUAGE PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (und mehr, falls erforderlich) gegeben ist, arbeitet der Operator (~) type-level mit Ausdrücken auf Typ-Ebene vom Typ Constraint ? Ich habe versucht, di...
08.03.2012, 18:28