PLFA agda exercises
[-4, -3, -2, -1, 0, 1, 2, 3]
[-3, -2, -1, 0, 1, 2, 3, 4]
[-3, -2, -1, 0, 0, 1, 2, 3]
[-4, -3, -2, 0, 0, 2, 3, 4]
[1/2, 7/10, 1/2, 3/10, 3/10, 1/2, 7/10, 1/2]