Today I noticed that my K implementation of possibly-empty searchable subsets is not productive on infinite recursive structures such as lists. The transformers package does not do better.
Until a working replacement is found, this hinders the refinement of Generic types with list components.
1 Like