[Vinnl]

You ensure contract correctness by encoding it in the types. However, while developing, you might still be figuring out the contract.