# Functors

A function, except with modules. The return type of a functor is always a module, I believe.