However this is a different kind of modules, with them being present on the type system, and manipulated via functors.