[branperr]

I would say type signatures that don't really describe the state of the program. Especially when someone has objects with a bunch of optional fields that either shouldn't be optional or should be represented in a different way, like as a discriminant union.