Cómo elige GHCi nombres para las variables de tipo?

Cuando se usa el intérprete interactivo de GHC, es posible solicitar el tipo inferido de una expresión: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que toma los nombres de las variables de tipo de la firma desdemap es ...