Nil is represented by ()
Upgraded TODO