. . . "case h :: l will match only if l is a List." .