math/hs-Agda: Fix build with hashable 1.2