This simplifies the markAnnListA implementation in utils/check-exact/ExactPrint.hs
markAnnListA
utils/check-exact/ExactPrint.hs