Consider expected<E,V,T1> non-comparable/swappable/convertible to expected<E,V,T2>.
Merge conflicts.