It looks interesting, but I don't understand the syntax. The only documentation is a doctoral thesis, which contains the usual padding:

> Interestingly, this basic definition of map has been almost unchanged for 60 years since McCarthy first presented the definition of maplist in [62].

but it jumps from what looks like standard Haskell, to the new syntax, without explanation.