Is it possible to simplify the definition of this function, which returns [[]] if l is empty and l otherwise?
f l = if l == [] then [[]] else l
f