Modules, type extensions, and inline