operations.md

Iso:

• to (orange to red turn)
• from (red to orange turn)

Setoid:  - equals =

SemiGroup:  - concat +

Monoid:  - empty ∅

Functor:  - map @

Covariant:

• contramap

Bifunctor:

• bimap

Profunctor:

• promap

Alt:

• alt

Plus:

• zero

Applicative:

• ap

Extend:

• extend

ChainRec:

• chainRec

Monad:

• chain
• (of is lift)
• join?

Comonad:

• extract

Trasversable:

• traverse

Catamorphism?:

• cata

(what about the other morphisms)

Foldable?:

• reduce (not sure? why does drboolean insists in fold) (and sanctuary provides reduce_ https://github.com/sanctuary-js/sanctuary#reduce_--foldablef--ba---b---b---fa---b)
• fold! https://en.wikibooks.org/wiki/Haskell/Foldable

Misc:

• fold -> https://en.wikibooks.org/wiki/Haskell/Foldable
• lift >
• share reference
• function application
• id function?
• (other combinators? https://github.com/sanctuary-js/sanctuary#combinator )  - operator to reach for a value within the tuple tree, kind of like a lens, maybe immutable set implemented on top of that lens mechanism? (this is syntactic suga)r

compose, flip, curry, etc are done graphically