@inproceedings{mcbrideEverybodysGotToBeSomewhere2018,
 title = {Everybody's Got To Be Somewhere},
 author = {McBride, Conor},
 year = {2018},
 booktitle = {Proceedings of the 7th Workshop on
   Mathematically Structured Functional Programming (MSFP 2018)},
 series = {EPTCS},
 volume = {275},
 pages = {53--69},
 doi = {10.4204/EPTCS.275.6}
}