Add instance Monad ZipList

Carter Schonwald carter.schonwald at
Fri Jun 5 00:11:36 UTC 2020

david, henning, could you expand on that intuition? i'm a bit derped up
from nyc being crazy stresses and doing my best to not engaged
unconstructively on interpersonal frustractionsl on the internet, and i"m
sure the exposition would benefit other please :)


On Thu, Jun 4, 2020 at 7:52 PM Henning Thielemann <
lemming at> wrote:

> On Thu, 4 Jun 2020, Carter Schonwald wrote:
> > *i believe* the way to write the monad instance would be to implement a
> join :: SizedLIst n (SizedList n a) ->
> > SizedList n a
> > that picks the diagonal. But i could be wrong? it wasn't a priority for
> me at the time, but would that "diagonal"
> > / trace be the right way to induce a bind?
> Sure, that's analogous to instance Monad ((->) a).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list