The scala `2.13.11` version requires explicit type of implicit definition. Then it become impossible to use `whitebox macro` to return the narrowed type.