3 ms·
No, you deeply misunderstand what a monad is. Monad doesn't mean you can write the bind and lift operations, a monad contains the bind and lift operation. The b
by sudosysgen 4y ago
No, you deeply misunderstand what a monad is. Monad doesn't mean you can write the bind and lift operations, a monad contains the bind and lift operation. The bind and lift operation is a component of the monad. You could probably shoehorn some kind of bind and lift into any conceivable generic type.
- pyrale 4y ago> You could probably shoehorn some kind of bind and lift into any conceivable generic type. You actually can't implement Monad for most contravariant functors.