anchor.diff:      let ``Map with string key``() =
           generate<Map<string, char>> |> sample 10 |> List.exists (fun x -> not x.IsEmpty)
   
  -    [<Property>]
  +    [<Fact>]
       let Decimal() =
  -        generate<decimal> |> sample 10 |> List.forall (fun _ -> true)
  +        generate<decimal> |> sample 10 |> ignore
   
       [<Property>]
       let ``Decimal shrinks`` (value: decimal) =
           shrink<decimal> value 
           |> Seq.forall (fun shrunkv -> shrunkv = 0m || shrunkv <= abs value)
   
  -    [<Property>]
  +    [<Fact>]
       let Culture() =
  -        generate<CultureInfo> |> sample 10 |> List.forall (fun _ -> true)
  +        generate<CultureInfo> |> sample 10 |> ignore
   
   //commented out as it keeps failing on AppVeyor with: ca-ES-valencia, pretty hard to repro.
   //    [<Property>]
  
positive.code: 
      [<Property>]
      let ``Fun pattern works``(Fun (f:bool->bool)) =
          let a = f true
          let b = f false
          true =! true
  
      [<Property>]
  
negative.code: 
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with no parameters``() =
          generate<Empty> |> sample 10 |> ignore
  
      type IntWrapper(a:int) = class end
  
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with one parameter``() =
          generate<IntWrapper> |> sample 10 |> ignore
  
      type FakeRecord(a: int, b: string) =
          member __.A = a
          member __.B = b
  
      [<Fact>]
      let ``Derive generator for concrete class with one constructor with two parameters``() =
          generate<FakeRecord> |> sample 10 |> ignore
  
  