mcbrideEverybodysGotToBeSomewhere2018:
  type: article
  title: Everybody's Got To Be Somewhere
  author: McBride, Conor
  date: 2018
  page-range: 53-69
  serial-number:
    doi: 10.4204/EPTCS.275.6
  parent:
    type: proceedings
    title: Proceedings of the 7th Workshop on Mathematically Structured Functional Programming (MSFP 2018)
    volume: 275
    parent:
      type: proceedings
      title: EPTCS