@prefetcher I am now weirdly tempted to define an algebra for that. Am I weird?