QuickCheck Library using Fantasy-Land