Learn you An Agda And Achieve Enlightenment