Add a simple test property for infer function: both the seq and the wannabe par version pass it