真ん中ぐらいにType combinatorsで議論がある typed Errorの実装はuntaggedなUnion型とのセットだから、やっぱハードルがクソ高いよなと思う