With generic constraint