We rewrote compilers in Haskell — here's what happened — by @uri_meyer on VOID | VOID