Забавно, в F# можно применить не обобщённые типы/функции к пустому списку типов-аргументов:

let succ = (+) 1
let two = succ< > 1

Причём наличие пробела между фигурными скобками обязательно. Не понятно почему это разрешено :)