Types are just formalised limited contracts. Emphasis on limited. They are not enough.