I have a type with several constructors wrapping another type; let\'s use the example below (in practice I have many constructors):
data New a = A a | B a