Merge branch 'master' into trans-lift
commit22b765b07cb5f099d23ebb6dbd7111d10285f590
authorIndex Int <vlad.z.4096@gmail.com>
dateWed 24 Jun 2015, 00:23 (11 years ago)
parent04eb4c1ce76813
src/Control/Ether/Tagged.hs+1−1
@@ -49,7 +49,7 @@ import qualified Control.Monad.Trans.Writer.Strict as Trans.Strict
4949class UniqueTag a
5050
5151type 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)
5353 IsUnique x (a ': as) = IsUnique x as
5454 IsUnique x '[] = ()
5555