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