@article{ALTENKIRCH_2015,
    doi = {10.1017/s095679681500009x},
    url = {https://doi.org/10.1017%2Fs095679681500009x},
    year = {2015},
    publisher = {Cambridge University Press ({CUP})},
    volume = {25},
    author = {THORSTEN ALTENKIRCH and NEIL GHANI and PETER HANCOCK and CONOR MCBRIDE and PETER MORRIS},
    title = {Indexed containers},
    journal = {Journal of Functional Programming}
}

@article{ALTENKIRCH_2015, doi = {10.1017/s095679681500009x}, url = {https://doi.org/10.1017%2Fs095679681500009x}, year = {2015}, publisher = {Cambridge University Press ({CUP})}, volume = {25}, author = {THORSTEN ALTENKIRCH and NEIL GHANI and PETER HANCOCK and CONOR MCBRIDE and PETER MORRIS}, title = {Indexed containers}, journal = {Journal of Functional Programming} }