Efficient multi-variate abstraction using an array representation for combinators.