Functorize Tcp.Pcb