Provide specializations of generalized type signatures