Группа Equal

Данная группа используется для описания типов, экземпляры которых можно сравнивать между собой.

Схема

monoid


Ссылки: