Aufräumen von Monaden - Anwendung eines Monodentransformators in newtype monad umwandeln

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, und daher entschied ich, dass es am besten wäre, das Ganze in eine Monade M1 einzubinden und dann ExceptT a M1 in M2 einzubinden.

Die gewünschte Eigenschaft ist M1 und M2 Instanzen von MonadState und die Klasse von M (nehmen wir an, dass es MyMonadClass heißt). Auch M2 sollte eine Instanz von MonadError sein.

Zuerst habe ich mit einfachen Synonymen angefangen:

Dann dachte ich, dass ich zuerst die Deklarationen der Instanz skizzieren würde (ohne die Instanz zu implementieren), und das ist, wo ich zuerst stecken geblieben bin. instance MonadState A (MyState) schien nicht die richtige Syntax zu sein. Ich dachte, ich müsste newtype MyState' a = StateT a M und dann type MyState = MyState A erstellen (Lässt keine Spracherweiterungen verwenden, wenn nicht notwendig).

Nachdem ich jedoch begonnen habe, die Synonyme in newtype declarations zu konvertieren, habe ich die Verbindung zu den StateT A M und ExceptT ... Typen verloren.

Jetzt sind die Transformatoren, die bereits implementiert sind, verschwunden und ich denke, ich versuche etwas zu tun, das nicht viel Sinn macht. Meine Frage ist also: Wie würde man diese Art von Verhalten korrekt in neue zusammengesetzte Monaden verpacken, die die darunterliegenden Schichten zugänglich machen, so dass man unnötiges Heben vermeidet und die Dinge klar und übersichtlich hält.