On 5 May 2010 09:01, Ozgur Akgun <ozgurak...@gmail.com> wrote: > your quick check property (in a different way of writing) is > the following: > > prop_1 :: Maybe Double -> Bool > prop_1 v = v == v
I think you misunderstood me. The property was fabricated just for the example. My question was why, when I generate random values for (Maybe t, Maybe t) using the Arbitrary type class, do I always see two Nothing values or two Just values, and never one of each? Tim _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe