The class Bind<F,A,i> is used to specify the type of a
bound functor of type F, i.e., where the i-th argument is
bound to some object of type A. The class is used in
conjunction with the bind functions.
This class encapsulates the differences in
implementation of the binders across various platforms. But in any
case, Type refers to a model of AdaptableFunctor.