そもそもTypedになるのかという仮定もあるんですが、その上で最初は許容する方向に倒れると思います。

7:18 AM

自動でsome Errorになって、any Errorも推論されうる、というのはすごく良いバランスに見える