Replace all locations in the input with the same value. The default
definition is
fmap . const, but this may be
overridden with a more efficient version.
Using
ApplicativeDo: '
a <$ bs' can be
understood as the
do expression
do bs
pure a
with an inferred
Functor constraint.