{ value = < A : Natural | B >.A 10 }