Modular type — personal project, in progress