Question

Type instantiation is excessively deep and possibly infinite (again)