PLFA agda exercises
18