morph then narrow with an existing type? - arktype