rFunc :: Value -> Nom -> Bind Nom Value -> Value -> Type
rFunc _I _D _X i = VNeut _D (Pipe Id (EFunc _I _X i))
rFunc :: Value -> Nom -> Bind Nom Value -> Value -> Type
rFunc _I _D _X i = VNeut _D (Pipe Id (EFunc _I _X i))
rFunc _I _D _X i = VNeut _D (Pipe Id (EFunc _I _X i))