@misc{indiciaee89d9cd1ac10,
  title = {GADTs and Exhaustiveness: Looking for the Impossible},
  author = {Jacques Garrigue and Jacques Le Normand},
  year = {2017},
  doi = {10.4204/eptcs.241.2},
  url = {https://arxiv.org/abs/1702.02281},
  note = {Source identifier: 1702.02281}
}