Post #2095659

@jesper that was a bit harder than I thought, mostly because I tried to separate type-driven development, as an approach, from specific characteristics of particular type systems