instance Monad m => MonadSpec (Yoneda m)