Introduction on session types. Polymorphism.