Add a missing type annotation (I don't understand why this is necessary...)
Use implicit macros