Poly-kinded tags (hotfix)
commit9a62d416dbf1ccbcca341a840d9e9dd54c280040
authorIndex Int <vlad.z.4096@gmail.com>
dateThu 22 Oct 2015, 20:05 (11 years ago)
parent8f35e40
src/Control/Ether/Tagged.hs+1−1
@@ -81,7 +81,7 @@ class Taggable (m :: * -> *) where
8181
8282 -- | The 'Tag' type family equals @Nothing@ for most types, but for tagged
8383 -- monad transformers it equals @Just tag@.
84− type Tag m :: Maybe *
84+ type Tag m :: Maybe k
8585 type instance Tag m = 'Nothing
8686
8787 -- | The 'Inner' type family equals @Nothing@ for most types, but for