utility functions to make defining and using type constraints a little easier