type substitution - whats the theory behind it

Printable View