five= \f x -> f.f.f.f.f$x

six :: Church x
six= \f x-> f.f.f.f.f.f$x

seven :: Church x
seven= \f x-> f.f.f.f.f.f.f$x

eight :: Church x
eight= \f x-> f.f.f.f.f.f.f.f$x

nine :: Church x
nine= \f x-> f.f.f.f.f.f.f.f.f$x

ten :: Church x