If we put the expanded `ListsF` trait back into macro caller, then we can test it already.