Testing a type in pipe - arktype