use the typedefs in the Module definitions