(wip) Add support for QuickCheck