[erik_seaberg]

It's a functor, though the type system doesn't let you write a reusable fmap.