, HOccursMany1(..)
, HOccursOpt(..)
, HOccurs(..)
- , HOccursNot(..)
+ , HOccursNot
+
+ , HNoDuplicates
)
where
instance Fail (TypeFound e) => HOccursNot e (HCons e l)
instance HOccursNot e l => HOccursNot e (HCons e' l)
+-- HNoDuplicates
+class HNoDuplicates l
+instance HNoDuplicates HNil
+instance HOccursNot e l => HNoDuplicates (HCons e l)
+
{-
{-
"Strongly Typed Heterogeneous Collections"