nice, unfortunately when using traverse
the context must be set; when traversing we need to call pure
, in case of the vector if it's empty there is no context set
dialelo: i'm wondering about ways of decorating contexts for transformers so, for example, for an either-channel context there would be a generic way for a monadic function to produce an either-left value (either-right being produced by pure/return) without knowing the surrounding context... am i correct that cats doesn't currently support anything like this ?
i think bwo/monads had a way of doing this, though i found that library difficult to understand so i never really used it
is it normal for mapseq
to throw an error when you feed it an empty sequence?
have I violated monadic law by doing this?