A template-based instantiation of the MonadComp type class.