ABSTRACT

B Existence of an abstraction to which values can be converted. B This abstraction provides operations to (1) wrap around values, so that

they become the abstraction; (2) bind itself to functions, so to establish sequences of functions; and (3) unwrap the value, so to examine the final result.