I understand that it is illegal in Java to cast a List to a List, since List is not a subtype of
List