agda: build with haskell-src-exts 1.15.x
Fix cabal-install build for GHC 6.10.4.