Is it possible to extract a "subtype"? - arktype