Correct cons type signature