List_ext.{hd, last}