macro args may not be type-checked for expected scala types
explicit returnHandler instead of RES