на каком языке у вас есть задача для генериков? какая?
Например есть много алгоритмов из линейной алгебры, где одни и те же действия делаются с двумя похожими наборами данных (горизонтальные и вертикальные координаты), большую часть времени независимо. И хотелось бы вместо того, чтобы писать одинаковый код и следить, как бы не передать куда иксы вместо игреков, просто лифтануть имеющиеся функции, чтобы они работали сразу с парами значений. Для этого надо что-то вроде - описать, каким образом диагональный функтор (гомогенные туплы) является аппликативным. Тут бы конечно дженерики с тайпклассами сгодились. И контракты, которые они там прдлагали, зашли бы. Но задачка не слишком типичная для Го