composing with abstractions