scala - Tipos impredicativos vs. subtipificación antigua simple - edu.lat

haskell - ¿Por qué no se puede especializar el tipo de ID para(para todos a. A-> a)->(para tod