{ value : < A : Natural | B> }