Нет, там есть важные вещи:
1. ML подобный синтаксис
2. HM
3. Кастомные операторы
4. Единицы измерения
5. Тайппровадеры
6. SRTP
7. CE которые богаче LINQ синтаксиса
8. Ощутимо более мощное квази цитирование, которое экспрешенами не ограничено
9. Анонимные рекорды, чей тип можно описать
10. Анонимные реализации интерфейсов, как в жвм языках (топ фича, бтв)