moving len-x tests to quickcheck; need to use currying and adaptor functions to keep consise