use syntax @List to refer to type constructor, since arg list in a type
is optional