www/hs-activehs: Fix build with Agda 2.3.2