Come funzionano esattamente i sinonimi di tipo?

Question

Come mai, che il seguente tipo di controlli

{-# 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} 

ma quando si cambia la firma di tipo off setFunFoo a

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

non lo fa? C'è un modo per esprimere il codice sopra senza il sinonimo di tipo FunFoo?

Answer 1

è necessario aggiungere un esplicito forall in questo modo:

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

La ragione di questo è perché si desidera che il campo di applicazione del tipo di variabile a a essere limitata al tipo del primo argomento a setFunFoo. Senza l'esplicito forall, il tipo di Dezuccherato è questo:

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