The class Set_arity<F,a> is used to specify the type of a
functor of type F whose arity has been set explicitly to
a. The class is used in conjunction with the set_arity
functions.
This class encapsulates the differences in
implementation across various platforms. But in any case, Type
refers to a model of AdaptableFunctor with arity a.