generated at
2/21/2025, 7:13:23 PM
制約付きモナド
constrained monad
rmonad
Restricted monad
https://hackage.haskell.org/package/rmonad