Just imagine how much of a waste of time it would have been to attend a conference where everyone was pointing out mathematical concepts you had heard of, talking about intracacies in GHC you were familiar with, and discussing different aspects of type theory you thought were completely trivial!
