While this is a link to a feature of a testing library, I think it’s good content for 2 reasons:
Makes me think of quickspec, which automatically derives laws a function obeys. However, this seems like a very different workflow.
I have vague ideas around an interactive environment for exploring properties: one that would tell you which properties your function has, with counter examples for the ones it lacks.
Have to give that a try, but it will be interesting how well this works for real life code