Much simpler lists at the type-and-func level.