制約付きモナド
constrained monad
rmonad
Restricted monad
https://hackage.haskell.org/package/rmonad