Morte: an intermediate language for super-optimizing functional programs | Heykuki News