I mean, when we say "Anyone could do it." we mean "Anyone with a strong enough understanding of Haskell's syntax and type system to be able to formalize it" whi

I mean, when we say "Anyone could do it." we mean "Anyone with a strong enough understanding of Haskell's syntax and type system to be able to formalize it" which is a surprisingly small number of people. It's probably smaller than the number of professional Haskell developers and that isn't that big a number.