List type constraint Argument order