I considered outputType as well. It doesn't seem necessary to me since a module must explicitly define its output in all cases. This seems a less straightforward way to do that.