diff --git a/spago.yaml b/spago.yaml
index bdde015..613bfa1 100644
--- a/spago.yaml
+++ b/spago.yaml
@@ -3,6 +3,7 @@ package:
     - aff
     - arrays
     - avar
+    - mmorph
     - unlift
   name: sync
   test:
diff --git a/src/Control.Monad.State.Async.purs b/src/Control.Monad.State.Async.purs
index dfdb1b2..e167cb4 100644
--- a/src/Control.Monad.State.Async.purs
+++ b/src/Control.Monad.State.Async.purs
@@ -6,6 +6,7 @@ import Control.Alt (class Alt)
 import Control.Alternative (class Alternative, class Plus)
 import Control.Monad.Error.Class (class MonadError, class MonadThrow, liftEither, try)
 import Control.Monad.Fork.Class (class MonadBracket, class MonadFork, class MonadKill, bracket, kill, never, uninterruptible)
+import Control.Monad.Morph (class MFunctor, class MMonad)
 import Control.Monad.Reader (class MonadAsk, ReaderT(..), ask)
 import Control.Monad.Rec.Class (class MonadRec)
 import Control.Monad.Trans.Class (class MonadTrans, lift)
@@ -267,6 +268,8 @@ newtype AsyncStateT w s m ma = AsyncStateT (ReaderT (w s) m ma)
 
 derive instance Newtype (AsyncStateT w s m ma) _
 derive newtype instance MonadTrans (AsyncStateT w s)
+derive newtype instance MMonad (AsyncStateT w s)
+derive newtype instance MFunctor (AsyncStateT w s)
 derive newtype instance (MonadPlus m) => MonadPlus (AsyncStateT w s m)
 derive newtype instance (Alternative m) => Alternative (AsyncStateT w s m)
 derive newtype instance (Alt m) => Alt (AsyncStateT w s m)