Haskell-type-equality Download for Linux (zst, )