inT', inT2'. But I don't know if I can actually use, due to tricky typing.
Removed inT', inT2', as I expect the types not to be usable. Maybe recover later.