Oh, this is nice: you can define your own label type :)