agda: jailbreak to fix build with recent haskell-src-exts