Service Types: Proof of Concept