Hi,

I've noticed you use things like (List a) at the type level. Why not a List?

Thanks, Jorge

Interesting idea. I haven't really considered it much. What do you think are the pros and cons?

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.