あ、でも、Box<E>とFrom<E>のEは一致するのか。

8:55 AM

extension Box : From where Box.Element : Error , Box.Element == From.Element { }

8:55 AM

一致は書けるから、Conditional Conformanceだけでいける気がしてきた。