Type-And-Test Driven Development

I know what type-driven development is (didn’t say I’ve mastered it). I sort of get what is test-driven development, or even red-green-refactor. But can you do both at the same time? If you start with types, is there anything left of the green-red-refactor cycle? Or does that mean you write your tests post factum?

Types vs clever code

“If it’s hard to typecheck, it’s probably hard to understand.” — Jared Forsyth