JSON.AST.QuickCheck