3 ms·
> 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.
by 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.