Что интересно, их дока расходится с их определением с первого предложения > A free monad is a construction which allows you to build a monad from any Functor. В котах функтор не требуется для инстанса монады, т.к. там фриир встроенный
Что интересно, их дока расходится с их определением с первого предложения > A free monad is a construction which allows you to build a monad from any Functor. В котах функтор не требуется для инстанса монады, т.к. там фриир встроенный