Type-level programming is still programming

always a pleasure to read one of your articles, i always learn something … if Haskell truly is a ‘impractical academic obsession’ than at least it’s a great ‘impractical academic obsession’ and i can still love it the way i love anything else (it’s my favorite child actually)

some day perhaps we’ll see type-level thinking become the norm, even if there’s a couple hiccups like a O(2^n) If class ; typed dataframes prove how cool and useful it can be!