Types are calling conventions.

Maximilian C. Bolingbroke, Simon L. Peyton Jones

Browse the full HASKELL paper archive.