Introduced type class MonadSD.