`sequenceA`: flipping layers of structure around
`mapM` as a special case of `traverse`

Appears in 2 boards

When to use `Traversable`