Learn you an Agda (and achieve enlightenment)