Provides Functors that allow assembly of primitive functors into compound structures.