For binds, you already have the comonadic dual covered.
>>= <-> =>>
=<< <-> <<=
But, monadic compositions are lonely.
>=> <-> =>=
<=< <-> =<=
The latter is especially weird because the <= renders as less than or equal to. Please implement comonadic composition operators =>= and =<=.
For binds, you already have the comonadic dual covered.
>>=<->=>>=<<<-><<=But, monadic compositions are lonely.
>=><->=>=<=<<->=<=The latter is especially weird because the
<=renders as less than or equal to. Please implement comonadic composition operators =>= and =<=.