map -package:containers -package:incipit-base -package:dlist -package:monoidal-containers package:basement -is:exact is:exact

Map all element a from a block to a new block of b
Map all elements in a list