Strongly statically typed languages let you safely refactor in ways that would otherwise be risky. This is my trick for one very common example: lifting an interface out of a concrete type.