juan_gandhi: (Default)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2019-11-01 09:40 pm
Entry tags:

you will laugh but...

I just figured out yesterday that yes, Tree[T] is a monad over T. Obvious, but. Same with BinaryTree[T]. Also, BinaryTree[T] does not seem to me applicative.

(My previous attempt to slap together a monad-looking functor were wrong.)