Agda-2.3.2.2: notes/papers/implicit/relatedwork.tex