The most exciting thing about types is that they can completely prevent you from typing that program. If you cannot figure proper types, you won't write proper

The most exciting thing about types is that they can completely prevent you from typing that program. If you cannot figure proper types, you won't write proper program. You "fail early".