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