Links for haskellpackages-agda2hs