Post #2669087

@Taneb@hacksrus.xyz Only reason really is bc one of the applications is sorting with the Finite Multiset QIT as Index. The translation to stdlib of `IntrinsicallyRecursiveCoalgs` is entirely straightforward, I'm considering releasing a version that works for stdlib though idk what best practices are if one wanta to avoid code duplication …