rElimTel :: Bind Nom Value -> Value -> Bind Nom3 Value -> Nom -> Value
rElimTel _P pemp pext _T = VNeut _T (Pipe Id (EElimTel _P pemp pext))
rElimTel :: Bind Nom Value -> Value -> Bind Nom3 Value -> Nom -> Value
rElimTel _P pemp pext _T = VNeut _T (Pipe Id (EElimTel _P pemp pext))
rElimTel _P pemp pext _T = VNeut _T (Pipe Id (EElimTel _P pemp pext))