I like the idea though - one functional language to rule them all is a great dream!
A proper reply to this comment would fill a very long blog post, and I'm currently on vacation, so I'll have to get back to you later.
Enjoy your vacation!
I wonder if the morloc language (as distinct from the tool) really has to be a new language, or if it could be represented in Haskell or a more flexible variant like Agda or Idris.
[0] Link: https://morloc-project.github.io/docs/
[1] Code: https://github.com/morloc-project/docs/
<meta name="generator" content="Asciidoctor 2.0.12">