Dead code in Data.Prop.
Equational reasoning for Prop in Data.Prop