I agree that this can be simplified further but at the same time I disagree with the "it needs to be understandable to beginners!" attitude. Some concepts aren

I agree that this can be simplified further but at the same time I disagree with the "it needs to be understandable to beginners!" attitude. Some concepts aren't for beginners. This includes most things that have to do with more advanced type theory or for example category theory. ELI5 GATs? ELI5 Monads? If we could we would.