TTS description ...
we don't need to be able to define families of types parametrized by n:N