RPN at type level
At some point you might want to perform computations at the type level, and for that a RPN style might be beneficial.

deftype: Endo dup Map

def: access
type: Int Endo   Int -- Int

That's a silly example, but there're lots of interesting things you can do at the type level.