Alternatively, it forces you to use the type system to make a better abstraction.
forcing people to type something never forces them to think about it.