Test the trait `ListsF` by extending it.