Welche Spracherweiterungen benötigt die MTL-Bibliothek?

Question

Ich versuche, Monad-Transformatoren zu verstehen, indem ich meine eigene kleine Bibliothek basierend auf den Entwürfen von existierenden implementiere.

Woran ich festhalte, sind die Spracherweiterungen. In MonadError ist die einzige Erweiterung, die erwähnt wird, UndecidableInstances. Allerdings kann ich keinen ähnlichen Code kompilieren, ohne auch FunctionalDependencies und FlexibleInstances zu verwenden.

Beispiel, dass ich glaube, erfordert FunDeps:

class (Monad m) => MonadError e m | m -> e where 

und eine flexible Beispiel:

instance MonadError e m => MonadError e (MaybeT m) where 

Wie funktioniert der MonadError Code die zusätzlichen zwei Erweiterungen zu vermeiden?

Answer 1

Sie müssen nicht alle Erweiterungen in der Quelldatei selbst buchstabieren. Gemeinsame Erweiterungen, die von allen/den meisten Modulen verwendet werden, können in der Cabal-Datei des Projekts aufgeführt werden. In mtl's case:

extensions: 
    MultiParamTypeClasses 
    FunctionalDependencies 
    FlexibleInstances