Open
Description
Our life would be easier if we had a single canonical tangent type for any given primal type.
Wouldn't need to worry about having both natural and structural tangents needing to be supported.
Could require that a mapping (possibly via convert) from various forms to the single specified type was given.
Potentially this could be done in a nonbreaking way if it was required to use it, just preferred