But does it allow specifying vectors that has no less than three and no more than seven items? Or vectors with even number of items?<p>More importantly can we possibly implement church numerals in Haskell? &#x2F;rhetorical