Summary Prop.collect is overloaded. There is a "simple" version collect(T)(Prop): Prop and a "functional" version collect(T=>P)(implicit P=>Prop): T=>Prop Using collect in properties based on gener...