label type signatures as such