could we make subgraphs as ops or patterns like this?
core wf valication uses a &mut List, this returns a List, hmmmm