typed-protocols: removed unused extensions

Author: coot

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

@@ -8,9 +8,6 @@
 {-# LANGUAGE QuantifiedConstraints    #-}
 {-# LANGUAGE RankNTypes               #-}
 {-# LANGUAGE ScopedTypeVariables      #-}
-{-# LANGUAGE StandaloneDeriving       #-}
-{-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE TypeApplications         #-}
 {-# LANGUAGE TypeFamilies             #-}
 -- @UndecidableInstances@ extension is required for defining @Show@ instance of
 -- @'AnyMessage'@ and @'AnyMessage'@.

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

@@ -4,8 +4,8 @@
 {-# LANGUAGE RankNTypes               #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE TypeFamilies             #-}
-{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
 
+{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
 {-# HLINT ignore "Use camelCase" #-}
 
 -- | The module contains exclusion lemmas which are proven using ad absurdum: