共変・反変の概念があるなら

class A { }
class B : A { }

void F(){
　　Action<A> funcA = i => { };
　　Action<B> funcB = i => { };
　　funcA = funcB; // エラー
}

このコードが通ってほしいよ。