A template-based instantiation of the MonadDES type class.