 	}
 	
 	public static func arbitrary() -> Gen<Positive<A>> {
-		return (Positive.create • abs) <^> A.arbitrary().suchThat(>=0)
+		return (Positive.create • abs) <^> A.arbitrary().suchThat(>0)
 	}
 	
 	public static func shrink(bl : Positive<A>) -> [Positive<A>] {


import Swiftz

public struct Blind<A : Arbitrary> : Arbitrary, Printable {
	public let getBlind : A
	

	return Static<B>(f(ar.getStatic))
}

/// Guarantees that every generated integer is greater than 0.
public struct Positive<A : protocol<Arbitrary, SignedNumberType>> : Arbitrary, Printable {
	public let getPositive : A
	
