Implementing Type Contracts via Mutually Referencing Type Parameters

It’s not obvious how to properly write generic code that operates on recursive or mutually-recursive types. Here’s how to do it right.