Vazou, Niki, Breitner, Joachim, Kunkel, Rose, Van Horn, David, Hutton, Graham, "Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)", , 2018