    -- GPL version 2 or later (see http://www.gnu.org/copyleft/gpl.html)
    -- Copyright date and holder unknown.
    module Lambdabot.Plugin.Haskell.Check.ShowQ (myquickcheck) where

    import Test.QuickCheck.Safe (STestable, quickCheck, inventQCGen)

    myquickcheck :: STestable prop => prop -> String
    myquickcheck :: forall prop. STestable prop => prop -> String
    myquickcheck prop
    prop = QCGen -> prop -> String
    forall prop. STestable prop => QCGen -> prop -> String
    quickCheck (prop -> QCGen
    forall a. a -> QCGen
    inventQCGen prop
    prop) prop
    prop