“A theory appears beautiful or elegant […] when it’s simple; in other words when it can be expressed very concisely in terms of mathematics that we’ve already learned for some other reasons.” https://www.youtube.com/watch?v=anHgZru8acg&t=379s
Aris Goudouras
Quoted in https://haskell.foundation/podcast/62/ by Conal Elliott