Функциите A => A са моноидни с identity като empty и композиция като combine . За съжаление не го намерих в библиотеката cats . Предоставя ли библиотеката моноиден екземпляр за тези функции? Какво ще кажете за A => M[A] , където M...

Опитвам се да преработя някакъв съществуващ код в по-монодичен подход . Съществуващият код съдържа интерфейси IXInterface и числа като int и bool . Числата вече имат Zero по подразбиране, интерфейсите го имат като инструмент за получаване на...