subtyping FTW - Process1 <: Tee <: Wye, and one pipe combinator to rule them all