rBranches :: Nom -> Bind Nom Value -> Type
rBranches _E _P = VNeut _E (Pipe Id (EBranches _P))
rBranches :: Nom -> Bind Nom Value -> Type
rBranches _E _P = VNeut _E (Pipe Id (EBranches _P))
rBranches _E _P = VNeut _E (Pipe Id (EBranches _P))