Turns out my previous remark is about a different macro, and in this one I can 
just make `e` untyped!

Reply via email to