Тип повинен бути еталонним типом, щоб використовувати його як параметр 'T' у загальному типі чи методі

Я все глибше заглиблююся в дженерики, і тепер є ситуація, в якій мені потрібна допомога. Я отримую помилку компіляції в класі "Похідне" нижче, як показано в заголовку теми. Я бачу багато інших публікацій, подібних до цієї, але я не бачу стосунків. Може хтось скаже мені, як це вирішити?

using System;
using System.Collections.Generic;


namespace Example
{
    public class ViewContext
    {
        ViewContext() { }
    }

    public interface IModel
    {
    }

    public interface IView<T> where T : IModel 
    {
        ViewContext ViewContext { get; set; }
    }

    public class SomeModel : IModel
    {
        public SomeModel() { }
        public int ID { get; set; }
    }

    public class Base<T> where T : IModel
    {

        public Base(IView<T> view)
        {
        }
    }

    public class Derived<SomeModel> : Base<SomeModel> where SomeModel : IModel
    {

        public Derived(IView<SomeModel> view)
            : base(view)
        {
            SomeModel m = (SomeModel)Activator.CreateInstance(typeof(SomeModel));
            Service<SomeModel> s = new Service<SomeModel>();
            s.Work(m);
        }
    }

    public class Service<SomeModel> where SomeModel : IModel
    {
        public Service()
        {
        }

        public void Work(SomeModel m)
        {

        }
    }
}

Я не можу спростувати, але я підозрюю, що у вашому фактичному коді десь є обмеження, яке T : classвам потрібно поширити, щоб зробити компілятор щасливим, наприклад (важко сказати точно без прикладу репро):

public class Derived<SomeModel> : Base<SomeModel> where SomeModel : class, IModel
                                                                    ^^^^^
                                                                 see this bit

Ви отримуєте цю помилку, якщо обмежились Tтим, що єclass

Якщо ви ставите обмеження на загальний клас чи метод, кожен інший родовий клас чи метод, який його використовує, повинні мати "принаймні" ці обмеження.