vFunc :: String -> String -> String -> String -> Value
vFunc _I _D _X i = rFunc
  (var _I)
  (s2n _D)
  (fbind _X "i")
  (var i)
vFunc :: String -> String -> String -> String -> Value
vFunc _I _D _X i = rFunc
  (var _I)
  (s2n _D)
  (fbind _X "i")
  (var i)
vFunc _I _D _X i = rFunc
  (var _I)
  (s2n _D)
  (fbind _X "i")
  (var i)