Seminar: Towards type-safe sessions in Scala