This is a placeholder for a series I haven’t written yet. Please check back later!

Meanwhile, please see the Designing with Types series, which covers similar ground.

I have done a talk on this topic as well. You can see it here.