Function recursive 

pub fn recursive<Q: HasWith>(recursive: bool) -> impl Mod<Q>

WITH RECURSIVE rather than WITH.

A property of the whole list, not of one entry.