fixed typo in definition of |> and got rid of usage site variance, which is no longer needed as Process1 is contravariant in its input type