Generalized type signatures