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?

More importantly can we possibly implement church numerals in Haskell? /rhetorical