:: (a -> b) -> [a] -> [b] -package:amazonka-core -package:graphviz -package:semigroupoids -package:LambdaHack -package:llvm-hs-pure package:base-compat

Using ApplicativeDo: 'fmap f as' can be understood as the do expression
do a <- as
pure (f a)
with an inferred Functor constraint.