Agatha generic constraint simplification.