in hlint, ${PN} is upper case
Patch agda-2.3.2.1 to allow haskell-src-exts 1.14