That is because `Applicative#map` is implemented a...
# arrow
r
That is because
Applicative#map
is implemented as a polymorphic function and returns a Higher Kind representation