I’ve stumbled into type driven design a few times and found it nicely productive. But of course it just tells me that the same of the function output is correct

I’ve stumbled into type driven design a few times and found it nicely productive. But of course it just tells me that the same of the function output is correct not the content.