Is this a valid monad instance?

Question

Here\'s my type and it\'s proposed monad instance.

newtype Inf m a = Inf { getInf :: m (a, Inf m a) }

instance (Monad