functor

the Functor typeclass