Use a WireFormat module instead of Types