Recursive type problem: - arktype