:: (a -> b) -> [a] -> [b] -package:brittany -package:ghc-lib-parser -package:mixed-types-num -package:prelude-compat -package:xmonad-contrib package:base-compat -is:exact

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