(#j6mz62q) @prologic As an aside, this is one thing I admire about Haskell. Its “core” language (sort of like an IR) can fit on a note card. I believe that someone fit it in a tweet. Haskell syntax and type system is more complex though. See this talk by FP God-king Simon Peyton Jones for more about that: https://youtu.be/uR_VzYxvbxg