Type-level programming com traits e associated types
Programação em nível de tipo (type-level programming) é uma técnica onde computações são realizadas durante a compilação, usando o sistema de tipos como motor de execução. Diferente da programação em nível de valor, que opera sobre dados em tempo de execução, a programação em nível de tipo manipula tipos como se fossem valores, permitindo que invariantes sejam verificados estaticamente.