Suporte QuickCheck para fgl
