What is type-level programming?

This question hasn't been answered yet.
Generate an AI-powered answer instantly.