added test case for MonadBaseControl instance