adde a comment pointing to Data.Nat.Properties.Simple to Data.Nat.Properties