typing higher-order concatenative languages with standard hindley-milner Okasaki's paper "Techniques for Embedding Postfix Languages in Haskell" shows how to implement a crude Forth-like language in Haskell. I won't go over how it works here, but you should be able to gather what's happening just by looking at the examples below. Unfortunately, the language discussed is a first-order languag