Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Is it true that sequenceA . sequenceA = id :: ZipList (ZipList a) -> ZipList (ZipList a)?

sequenceA . sequenceA = id :: ZipList (ZipList a) -> ZipList (ZipList a)

no it's not:

sequenceA . sequenceA $ Z [Z [1, 2, 3], Z [4, 5]] Z [Z [1,2], Z[4,5]]

it is however true that sequenceA . sequenceA = id :: Maybe (Maybe a) -> Maybe (Maybe a)

sequenceA . sequenceA = id :: Maybe (Maybe a) -> Maybe (Maybe a)

Is it true that

`sequenceA . sequenceA = id :: ZipList (ZipList a) -> ZipList (ZipList a)`

?no it's not:

it is however true that

`sequenceA . sequenceA = id :: Maybe (Maybe a) -> Maybe (Maybe a)`