rmonad-0.5: Restricted monad library