[strangemonad]

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?