functor (Config : Quickcheck_intf.Quickcheck_config->
  Quickcheck_intf.Quickcheck