So it's been fairly obvious that compiling things like:
Sig m i -> Sig m o
Boils down to just generating a value for Sig m i, which is pretty
much the same as generating a scalar value.
State isn't even necessary. Time indexing can be used.