[ctenb]

For a second I thought the syntax was Koka, which is also a language with effects. But it's not, there are some syntax differences later in the post.