Cannot impl<T, U> From<Type<T>> for Type<U>

help
2

This reminds me of my problems with Generic impl TryFrom impossible due to orphan rules, but not sure if these are really related.

(By the way, I didn't entirely ditch From/TryFrom in the end.)