We can now infer Kernel#puts has return type NilClass.