puzzle

For endomorphisms, eval: X × XX → X can be rewritten as X(1+X) → X, or, in code, as (Option[X] → X) → X - almost like Y in ML.

Just can't figure out the consequences out of this simple representation.

something I wrote

http://vpatryshev.blogspot.com/2016/10/union-of-functors-and-functor-on-union.html

язык философов

"Потом" по-немецки будет "данах".