Got quickcheck style properties checking convenient