by the definition of `map` in `Functor` it's always from `a` to `b`
p
by the definition of
map
in
Functor
it's always from
a
to
b