Procompose Functors

fixed warnings