On: K (2005)

[uryga]

k (well, some version of it) has something along those lines:

> [the] `:` in `|:` is used to force the verb `|` to be interpreted as a monad, as by default ambiguities are resolved in favour of dyads.

http://www.math.bas.bg/bantchev/place/k.html