Fail when promotng function without type signature