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 amb

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 http://www.math.bas.bg/bantchev/place/k.html