@@ -78,7 +78,6 @@ import Data.ByteString (ByteString)
78import Data.Foldable
78import Data.Foldable
79import Data.Function ((&))
79import Data.Function ((&))
80import Data.Kind
80import Data.Kind
82import Data.Text (pack, Text)
81import Data.Text (pack, Text)
83import Data.Traversable
82import Data.Traversable
84import Generics.SOP
83import Generics.SOP
@@ -97,7 +96,6 @@ import Control.Monad.Trans.Identity
97import Control.Monad.Trans.Reader
96import Control.Monad.Trans.Reader
98import Control.Monad.Trans.Maybe
97import Control.Monad.Trans.Maybe
99import Control.Monad.Trans.Cont
98import Control.Monad.Trans.Cont
100−import Control.Monad.Trans.List
102import qualified Control.Monad.Trans.State.Lazy as Lazy
100import qualified Control.Monad.Trans.State.Lazy as Lazy
103import qualified Control.Monad.Trans.State.Strict as Strict
101import qualified Control.Monad.Trans.State.Strict as Strict
@@ -479,7 +477,6 @@ instance MonadPQ schema m => MonadPQ schema (ExceptT e m)
479instance (Monoid w, MonadPQ schema m) => MonadPQ schema (Strict.RWST r w s m)
477instance (Monoid w, MonadPQ schema m) => MonadPQ schema (Strict.RWST r w s m)
480instance (Monoid w, MonadPQ schema m) => MonadPQ schema (Lazy.RWST r w s m)
478instance (Monoid w, MonadPQ schema m) => MonadPQ schema (Lazy.RWST r w s m)
481instance MonadPQ schema m => MonadPQ schema (ContT r m)
479instance MonadPQ schema m => MonadPQ schema (ContT r m)
482−instance MonadPQ schema m => MonadPQ schema (ListT m)
484instance (Monad m, schema0 ~ schema1)
481instance (Monad m, schema0 ~ schema1)
485 => Applicative (PQ schema0 schema1 m) where
482 => Applicative (PQ schema0 schema1 m) where