SessionTypes for Scala