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)