> typed-hole-driven development.

every hole has a type

drive the type, drive the hole

the bigger the hole, the bigger the type