you will laugh but...
Nov. 1st, 2019 09:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiI 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.)
(My previous attempt to slap together a monad-looking functor were wrong.)
no subject
Date: 2019-11-02 05:03 pm (UTC)