kakkun61
class (Alternative m, MonadError e m) => ??? e m
こんなクラスがほしくなった
制約は（雰囲気）
throwError e <|> m ≡ m
もしくは
m <|> throwError e ≡ m
https://twitter.com/kakkun61/status/1543624146298740736
class (Alternative m, MonadError e m) => ??? e m
throwError e <|> m ≡ m
m <|> throwError e ≡ m
newtype を作ればいいという話ではなく？