Play

RPN at type level
Login
Hi,

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

Thanks,
  Jorge