Import math/hs-Agda version 2.3.2_3