A template-based instantiation of the MonadSD type class.
Updated comment.