Functors are things that can be mapped over, like lists, Maybes, trees, and such.
Maybe
t :: term
fmap(t, (term -> term)) :: t