Correct example type signature name