fixup! typed-protocols: new API

Author: coot

typed-protocols/src/Network/TypedProtocol/Core.hs

@@ -47,8 +47,6 @@ module Network.TypedProtocol.Core
   , Nat (Succ, Zero)
   , natToInt
   , unsafeIntToNat
-  , Trans (..)
-  , SingTrans (..)
   , ActiveAgency
   , ActiveAgency' (..)
   , IsActiveState (..)
@@ -487,20 +485,6 @@ type family FlipAgency pr where
   FlipAgency AsServer = AsClient
 
 
--- | Transition kind.
---
-data Trans ps where
-    Tr :: forall ps. ps -> ps -> Trans ps
-
-
--- | Singleton for @'Trans' ps@ kind.
---
-type SingTrans :: Trans ps -> Type
-data SingTrans tr where
-    SingTr :: forall ps (st :: ps) (st' :: ps).
-              SingTrans (Tr st st')
-
-
 -- | A type level inductive natural number.
 data N = Z | S N