system F discussion and examples