new post on evaluating types-as-contracts