macro includeFile(file: static[string]): untyped {..}

template compilesOr(a, b: untyped): untyped {..}