@@ -9,7 +9,6 @@ module Control.Ether.Core
99 , UniqueEtherTag
1010 , UniqueEtherTags
1111 , ensureUniqueEtherTags
12− , Strictness (Strict, Lazy)
1312 ) where
1413
1514import Data.Proxy (Proxy)
@@ -34,8 +33,6 @@ import qualified Control.Monad.Trans.Writer.Strict as Trans.Strict
3433-- Never declare instances for this class
3534class UniqueEtherTag a
3635
37−data Strictness = Strict | Lazy
38−
3936type family IsUnique (x :: k) (as :: [k]) :: Constraint where
4037 IsUnique x (x ': as) = UniqueEtherTag x
4138 IsUnique x (a ': as) = IsUnique x as