Added a Nil with type ascription