> NULL is a valid instance of T

This by the way is Tony Hoare's famous "Billion Dollar Mistake"