"In which I showcase one concrete example where dependent types — and more precisely, Generalized Algebraic Datatypes (GADTs) — allow me to turn the handling of different but similar compiler targets into a breeze of fresh air." https://acatalepsie.fr/posts/making-my-life-easier-with-gadts.html