Стабильность — это необходимое свойство для тайпклассов?
скорее это было так: в хаскеле есть ТК, в скале имплиситы, в хаскеле ТК стабильные, а в скале имплиситы нет, значит implicit encoded typeclasses нестабильны, значит не тайпклассы
скорее это было так: в хаскеле есть ТК, в скале имплиситы, в хаскеле ТК стабильные, а в скале имплиситы нет, значит implicit encoded typeclasses нестабильны, значит не тайпклассы