Minimal module that defines a new type