# agda-fold-equations