RPN at type level
I've noticed you use things like
(List a) at the type level. Why not
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.