▽Planet Haskell ●04/02 15:30 April 01, 2025in CodeFaking ADTs and GADTs in Languages That Shouldn't Have ThemHaskell is the world’s best programming language1, but let’sface the harsh reality that a lot of times in life you’ll have to write in otherprogramming languages. But alas you have been fully Haskell-brained andlost all ability to program unless it is type-directed, you don’t even know howto start writing a prog