2
¿Hay alguna diferencia entre las firmas de tipo a -> b -> a y c -> a -> c?
Esta pregunta es una pregunta teórica sobre las funciones de Haskell que pueden tomar argumentos de cualquier tipo. ¿Hay alguna diferencia entre la forma en que funciona con las firmas de tipo de a -> b -> a y c -> a -> c son instanciados? Cualquier ayuda es apreciada.