Yes, he believes that the average smartness across Haskell developers is greater than the average smartness across all developers (as do I). This is a fairly weak claim. He did not make the claim "we're smarter than everybody else", which is a very strong claim. That's your strawman.