[arch-haskell] AUR Comment for agda-executable