Две фишки, которых в F# нет, а хотелось бы

[binf]

1. Дженерики высшего порядка (классы типов, трейты такие или такие например). А то в GADTские типы нельзя.

2. Макросы