An empty list (length zero) is "None" and a single element list is "Some" or "Just" whatever the lone element in the list is. And of course the list is constra

An empty list (length zero) is "None" and a single element list is "Some" or "Just" whatever the lone element in the list is. And of course the list is constrained to not contain more than a single entry.