Types are Calling Conventions

It is always a pleasure to read a paper by Peyton-Jones. Let's see what this brings.



Anyway, I am kind-of-stuck with a problem with my compiler: An internal representation which feels it has a trivial representation, but I didn't find it yet.