@@ -49,7 +49,7 @@ import qualified Control.Monad.Trans.Writer.Strict as Trans.Strict
49class UniqueTag a
49class UniqueTag a
51type family IsUnique (x :: k) (as :: [k]) :: Constraint where
51type family IsUnique (x :: k) (as :: [k]) :: Constraint where
52− IsUnique x (x ': as) = UniqueTag x
52+ IsUnique x (x ': as) = (UniqueTag x, IsUnique x as)
53 IsUnique x (a ': as) = IsUnique x as
53 IsUnique x (a ': as) = IsUnique x as
54 IsUnique x '[] = ()
54 IsUnique x '[] = ()