Алгебраические модели иерархий типов для проектирования и рефакторингастатья