Replace * with Type

IntersectMBO · Sep 7, 2020 · 370d09b · 370d09b
1 parent 9d0b2d0
commit 370d09b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/typed-protocols-examples/src/Network/TypedProtocol/Codec.hs b/typed-protocols-examples/src/Network/TypedProtocol/Codec.hs
@@ -42,6 +42,7 @@ module Network.TypedProtocol.Codec (
   ) where
 
 import           Control.Exception (Exception)
+import           Data.Kind (Type)
 
 import           Network.TypedProtocol.Core
                    ( Protocol(..), PeerRole(..)
@@ -378,7 +379,7 @@ prop_codec_splits splits runM codec msg =
 -- Used for the existential @st :: ps@ parameter when expressing that for each
 -- value of 'PeerHasAgency' for protocol A, there is a corresponding
 -- 'PeerHasAgency' for protocol B of some @st :: ps@.
-data SamePeerHasAgency (pr :: PeerRole) (ps :: *) where
+data SamePeerHasAgency (pr :: PeerRole) (ps :: Type) where
   SamePeerHasAgency
     :: forall (pr :: PeerRole) ps (st :: ps).
        PeerHasAgency pr st