What is typelevel programming in Scala and why is it used?

Typelevel programming encodes logic in the type system to enforce correctness at compile time.

Scala allows computation at compile time using types, enabling libraries like Cats and Shapeless. Typelevel programming uses techniques like HLists, phantom types, and implicit resolution to move business rules into types, reducing runtime errors and improving correctness guarantees.