Helper for defining mutually recursive strategies with proptest. - View it on GitHub