Полиморфизм высшего порядка + типы значений

Я где-то читал, что полиморфизм высшего порядка не может использоваться / реализовываться в системах типов с типами значений (например, .NET). Это правильно и почему?