Chase through generics so that we gain some logical instantiations.
It's coming together, call that 0.8.0