Minor style thing, please put a single space after each `:`. So `pf: PartialFunction[I,I2]): Process1[I,I2]`.