Alice or Bob?: Process polymorphism in choreographies - Graversen, Eva (Journal of Functional Programming)