I think I very much agree with your points and approach to parallelism. > This applies to every data structure that can be defined algebraically. Is this a mu

I think I very much agree with your points and approach to parallelism. > This applies to every data structure that can be defined algebraically. Is this a mutually true? I’d expect this to hold for inductive algebraic data types but not co-inductive types?