hmm, is there a name for a specific functor in which its “map” instead of receiving `a -> b` rec...
t
hmm, is there a name for a specific functor in which its “map” instead of receiving
a -> b
receives just
a -> a
?