It would be great if Base provided a List.Non_empty module for non-empty lists

type 'a t = (::) of 'a * 'a list