¿Cómo funcionan exactamente los sinónimos de tipo?

Question

¿Cómo puede ser, que las siguientes comprobaciones de tipo

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

pero cuando se cambia el tipo de firma fuera setFunFoo a

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

no lo hace? ¿Hay alguna manera de expresar el código anterior sin el sinónimo tipo FunFoo?

Answer 1

es necesario agregar una explícita forall así:

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

La razón de esto es porque desea que el ámbito de aplicación del tipo de variable a que se limita al tipo del primer argumento a setFunFoo. Sin el forall explícito, el tipo desajustado es este:

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