Haskell base proposal, part 2: unifying vector-like types | Heykuki News