public class Animal
{
}

public class Cat : Animal
{
}

public class Dog : Animal
{
}

// It's safe to say that something returns a Animal when in fact this thing returns a Cat
class Covariance
{
	void test()
	{
		Func<Animal> a = Method; // OK
		Func<Animal> b = delegate { return new Cat(); }; // OK
		Func<Animal> c = () => new Cat(); // OK
	}

	Cat Method()
	{
		return new Cat();
	}
}