The compiler is doing a lot of it for us. > Thanks to GeneralizedNewtypeDeriving, I got the three instances I wanted for free via F. A good bit of what you're

The compiler is doing a lot of it for us. > Thanks to GeneralizedNewtypeDeriving, I got the three instances I wanted for free via F. A good bit of what you're seeing as "mechanical" is actually the simplicity achieved because Haskell is expressive enough to get very close to the abstractions that we really need. Haskell allows you to decompose problems in ways such that each step along the way is very simple and in many cases obviously correct. Obligatory Hoare quote: > There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies.