Whitelist types and data constructors of TypeM and InterpM.