Buy his book - it's great and exactly like that.

Domain Modeling Made Functional - Scott Wlaschin

In the link above he's described 7 very practical ways to use it. No functional jargon, no mathematical jargon. Just practical useful ideas. And the language choice in the book is irrelevant - the concepts translate well.

There is an alternate universe where he would be well known as the top author on software engineering. His website is great as well.

That said, if you do know a bit of the math his example introduced commutative, invertible, invariance, idempotency, structural recursion & isomorphism - but anyone reading it would never really know and would never need to know. It's just framed as useful applications of tests.