I am a bit surprised since nobody has mentioned this that I could find. I find it useful that Result<T, E> where T and E separately implements the Facet trait implement the Facet trait. Is there any technical reason behind this?