Making my life easier with GADTs

Read online 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. Introduction Dependent types and assimilated type-level features get a bad rep. They are often misrepresented presented as a futile toy for “galaxy-brain…