इसका टेक्स्ट मैसेज भेजे: The role of type equality in meta-programming