map -package:base -is:exact -is:exact -package:text -package:unordered-containers -is:exact -package:bytestring is:module -package:Agda -package:opaleye package:synthesizer-dimensional
Maps that handle pairs of amplitudes and sampled values. They are a
special form of arrows.