Wie funktionieren Synonyms genau?

Question

Wie kommt es, dass die folgenden Typprüfungen

{-# LANGUAGE RankNTypes #-} 
module Main where 

class Foo a where 


type FunFoo = (Foo a) => a -> IO() 

data Bar = Bar { 
    funFoo :: FunFoo 
} 

setFunFoo :: FunFoo -> Bar -> Bar 
setFunFoo action bar = bar {funFoo = action} 

aber wenn die Art Signatur off setFunFoo zu

setFunFoo :: ((Foo a) => a -> IO()) -> Bar -> Bar 

es nicht zu ändern? Gibt es eine Möglichkeit, den obigen Code ohne das Synonym FunFoo auszudrücken?

Answer 1

Sie benötigen eine explizite forall wie so hinzuzufügen:

setFunFoo :: (forall a. (Foo a) => a -> IO()) -> Bar -> Bar 

Der Grund dafür ist, dass Sie den Umfang des Typs Variable a beschränkt sein auf die Art des ersten Arguments zu setFunFoo wollen. Ohne den expliziten Code forall lautet der entartete Typ:

setFunFoo :: forall a. ((Foo a) => a -> IO()) -> Bar -> Bar