[topic] as our payloads, so that sent types would then be: [topic] -> S'Y([topic]). All of the operations except
for `maybe` would then have to emulate the operations of the List monad by hand (manually performing catmap etc).
But `maybe` could examine the [topic] as a whole and decide whether to return box(it) or box([]).
[topic] as our payloads, so that sent types would then be: [topic] -> S'Y([topic]). All of the operations except
for `maybe` would then have to emulate the operations of the List monad by hand (manually performing catmap etc).
But `maybe` could examine the [topic] as a whole and decide whether to return box(it) or box([]).