i think you must supply the r explicitly,

here is the code:

instance Monoid r => Monad (Some r) where
    return a = Thing mempty a
    Thing r a >>= f = 
        let Thing r' b = f a
        in Thing (r <> r') b