template untyped and typed as parameters and return type

It's laziness and comes from a time where templates only supported `untyped`.

template untyped and typed as parameters and return type

I was looking into karax src just for fun and I saw this piece of code template `&`(x: untyped): untyped = $x Run 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 w