TypeTag => WeakTypeTag in the macro guide