Links for haskellpackages-idris