Inverted version of a type where the T and inv T fields of a non-Data/port struct are changed.
T
inv T
Data