Musings of a Software Inventor, or, THE LACK THEREOF

Functors

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