Gegeben das folgende Programm:
%Vor% Die Deklaration MonadReader derivating sollte MonadReader Int sein. GHC erzeugt die folgende Fehlermeldung:
Diese Fehlermeldung ist für mich verwirrend. Die Art von MonadReader ist * -> (* -> *) -> GHC.Prim.Constraint , wie die Fehlermeldung angibt, was sinnvoll ist. Die Fehlermeldung besagt jedoch, dass erwartet Art * -> GHC.Prim.Constraint ist, trotz der Tatsache, dass MonadReader Int tatsächlich vom Typ (* -> *) -> GHC.Prim.Constraint ist.
Da die Typen * und * -> * nicht übereinstimmen, fühlt sich diese Fehlermeldung nicht nur irreführend an, sondern ist auch inkorrekt. Ist das ein Fehler oder übersehe ich etwas in dieser Fehlermeldung?