optimization in fastTypeTag synthesis