started filling in the functors for Procompose