Remove unused 4th catamorphism argument on constraints