Altenkirch, Thorsten, Ghani, Neil, Hancock, Peter, McBride, Conor, Morris, Peter, "Indexed containers", Journal of Functional Programming, 2025