Assertion failure for monadology-0.1-3 with GHC 9.4

Building monadology-0.1-3 with an assertion enable GHC 9.4 results in:

[34 of 45] Compiling Control.Monad.Ology.Specific.StackT ( src/Control/Monad/Ology/Specific/StackT.hs, dist/build/Control/Monad/Ology/Specific/StackT.o, dist/build/Control/Monad/Ology/Specific/StackT.dyn_o )

<no location info>: error:
    panic! (the 'impossible' happened)
  GHC version 9.4.7:
	ASSERT failed!
  in_scope InScope {tt'_aFV5 m'_aFVs}
  tenv [aEwi :-> m'_aFVs[sk:7]]
  cenv []
  tys [Monad m_aEwi =>
       StackT
         lt1_aFUL[ssk:5]
         m_aEwi
         (WUnlift MonadTunnelIOInner (StackT lt1_aFUL[ssk:5]))]
  cos []
  needInScope {lt1_aFUL[ssk:5]}
  Call stack:
      CallStack (from HasCallStack):
        assertPpr, called at compiler/GHC/Core/TyCo/Subst.hs:645:5 in ghc:GHC.Core.TyCo.Subst
        checkValidSubst, called at compiler/GHC/Core/TyCo/Subst.hs:669:29 in ghc:GHC.Core.TyCo.Subst
        substTy, called at compiler/GHC/Core/TyCo/Subst.hs:579:3 in ghc:GHC.Core.TyCo.Subst