Play

RPN at type level
Login
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.