Cranston's Life - Rust and More Rust

I KNOW of Test-Driven Development and I have heard of Domain-Driven Development, Behavior-Driven Development, Acceptance Test-Driven Development, Continuous Test-Driven Development, and Process Driven Development.

But now I have learned of ANOTHER type of driven development, and it is called Type-Driven Development!

The Introduction to Type-Driven Development with Rust gives an EXAMPLE about how to do Type-Driven Development using the Rust programming language.

I would like to see a more COMPLEX example of Type-Driven Development in action!