Type error. The right-hand operand of : is required to be a list.
Incorrect. : always yields a nonempty list. But successors([ ] is an empty list.