type annotations seems to work
quotation without locations become practical :-)