instance Procompose p -| Rift p