lifting

Ich versuche, z.B. ExceptT a (StateT A M) , für einige konkrete Typen A und monad M , und schliesse sie in meine neuen benutzerdefinierten Monaden. Zuerst habe ich festgestellt, dass StateT A M oft in anderen Kontexten auftaucht, u...