add test showing infinite (or very slow) loop in recursive types