agda: build with haskell-src-exts 1.15.x