`traverse(::identity)` is also called `sequence()`...
# arrow
r
traverse(::identity)
is also called
sequence()
but for some reason we don't have those in the data type but we should.