added function to type constraints