Describir: Alice or Bob?: Process polymorphism in choreographies