Macros for magic evidence typeclasses: HasAnnotation, negative evidences... - View it on GitHub