git.iko.soy/typeable/ether
on master help sign in
Poly-kinded tags (hotfix)
9a62d41Index Int
src/Control/Ether/Tagged.hs+1−1
compare with master
unifiedsplit
@@ -81,7 +81,7 @@ class Taggable (m :: * -> *) where
81
81
82 -- | The 'Tag' type family equals @Nothing@ for most types, but for tagged
82 -- | The 'Tag' type family equals @Nothing@ for most types, but for tagged
83 -- monad transformers it equals @Just tag@.
83 -- monad transformers it equals @Just tag@.
84− type Tag m :: Maybe *
84+ type Tag m :: Maybe k
85 type instance Tag m = 'Nothing
85 type instance Tag m = 'Nothing
86
86
87 -- | The 'Inner' type family equals @Nothing@ for most types, but for
87 -- | The 'Inner' type family equals @Nothing@ for most types, but for