Next up: why we decided to re-write our Haskell re-write in $HYPED_LANGUAGE.