@a13cui This morning I'm implementing some of Joy's combinators, I think you could write straight joy, directly in uxntal now.