A Function Whose Declared Type Is Neither