adding concat law to quickcheck