instance instWeaklyLawfulMonadAttachReaderTOfLawfulMonad {m : Type u_1 → Type u_2} {ρ : Type u_1} [Monad m] [LawfulMonad m] [MonadAttach m] [WeaklyLawfulMonadAttach m] : WeaklyLawfulMonadAttach (ReaderT ρ m)

instance instLawfulMonadAttachReaderTOfLawfulMonad {m : Type u_1 → Type u_2} {ρ : Type u_1} [Monad m] [LawfulMonad m] [MonadAttach m] [LawfulMonadAttach m] : LawfulMonadAttach (ReaderT ρ m)

instance instWeaklyLawfulMonadAttachStateTOfLawfulMonad {m : Type u_1 → Type u_2} {σ : Type u_1} [Monad m] [LawfulMonad m] [MonadAttach m] [WeaklyLawfulMonadAttach m] : WeaklyLawfulMonadAttach (StateT σ m)

instance instLawfulMonadAttachStateTOfLawfulMonad {m : Type u_1 → Type u_2} {σ : Type u_1} [Monad m] [LawfulMonad m] [MonadAttach m] [LawfulMonadAttach m] : LawfulMonadAttach (StateT σ m)

instance instWeaklyLawfulMonadAttachExcept {ε : Type u} : WeaklyLawfulMonadAttach (Except ε)

instance instLawfulMonadAttachExcept {ε : Type u} : LawfulMonadAttach (Except ε)

instance instWeaklyLawfulMonadAttachExceptTOfLawfulMonad {m : Type (max u_1 u_2) → Type u_3} {ε : Type (max u_1 u_2)} [Monad m] [LawfulMonad m] [MonadAttach m] [WeaklyLawfulMonadAttach m] : WeaklyLawfulMonadAttach (ExceptT ε m)

instance instLawfulMonadAttachExceptTOfLawfulMonad {m : Type (max u_1 u_2) → Type u_3} {ε : Type (max u_1 u_2)} [Monad m] [LawfulMonad m] [MonadAttach m] [LawfulMonadAttach m] : LawfulMonadAttach (ExceptT ε m)

instance instWeaklyLawfulMonadAttachStateRefT'OfLawfulMonad {m : Type → Type} {ω σ : Type} [Monad m] [MonadAttach m] [LawfulMonad m] [WeaklyLawfulMonadAttach m] : WeaklyLawfulMonadAttach (StateRefT' ω σ m)

instance instLawfulMonadAttachStateRefT'OfLawfulMonad {m : Type → Type} {ω σ : Type} [Monad m] [MonadAttach m] [LawfulMonad m] [LawfulMonadAttach m] : LawfulMonadAttach (StateRefT' ω σ m)

instance instWeaklyLawfulMonadAttachEStateM {ε σ : Type u} : WeaklyLawfulMonadAttach (EStateM ε σ)

instance instLawfulMonadAttachEStateM {ε σ : Type u} : LawfulMonadAttach (EStateM ε σ)

instance instWeaklyLawfulMonadAttachOfLawfulMonad {m : Type u_1 → Type u_2} [Monad m] [LawfulMonad m] : WeaklyLawfulMonadAttach m