Modules and functors are able to contain type definitions, while classes/objects are not. This makes modules practically much more useful for abstraction.