Typed code on pipe