Что-то с функцией fmap, соблюдающее законы единичной функции и композиции функций: 1) fmap(id от A) = id от Functor<A> 2) fmap(g andThen h) = fmap(g) andThen fmap(h) (andThen - композиция)
А, я перепутал. Функтор я понял, монаду не осилил, сори.
Что-то с функцией fmap, соблюдающее законы единичной функции и композиции функций: 1) fmap(id от A) = id от Functor<A> 2) fmap(g andThen h) = fmap(g) andThen fmap(h) (andThen - композиция)