Resource parameterized over an arbitrary Monad