QuickCheck, add different display types