Implementations of Program Composition Operations