datatype t = nil