To summarize the conclusion so far, folks agreed that this could be useful for formalism and the only question is when to adopt this. Given the inactive status of this RFC, we will close this for now, and revisit when we find the need
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2837#issuecomment-487325742