Patch agda-2.3.2.1 to allow haskell-src-exts 1.14