functions that take in types - arktype