www/hs-snap: Fix build with hashable 1.2
devel/hs-vty: 4.7.1 --> 4.7.2
math/hs-Agda: Fix build with hashable 1.2