Open paluh opened 4 years ago
It seems that specialization is a more correct term for the scenario which we are implementing :-)
For more details please check: https://discourse.purescript.org/t/nomenclature-application-specialization-instantiation-type-synonyms/2023
It seems that specialization is a more correct term for the scenario which we are implementing :-)