Ко- и контра-вариантность

А дайте кто-нибудь примеров, где сабж вызывает проблемы с типами переменных?
А то я идею примерно понимаю, периодически натыкаюсь на проблемы у себя в дотнетах, но не могу составить общую картину в голове, чтобы понять, что именно вызывает проблемы - то ли я с архитектурой фигню сделал, то ли это теоретически неразрешимая проблема и нужно делать обходные костыли.