Links for haskellpackages-proplogic