I was looking into karax src just for fun and I saw this piece of code
template `&`(x: untyped): untyped = $x
Why in this case do they use untyped instead of typed? If you need the result provided by the $ template using an undefined identifier is not going to work; I get that the result type cannot be typed but in any case, why if the $ should return a string the expression result is untyped? I see this behavior even in some examples of the official tutorial