vInd :: String -> String -> String -> String -> String -> String -> String -> String -> String -> Value
vInd l _P _I _D p _M m i x = rInd
  (var l)
  (var _P)
  (var _I)
  (var _D)
  (var p)
  (fbind2 _M "i" "x")
  (fbind3 m "i" "xs" "ihs")
  (var i)
  (s2n x)
vInd :: String -> String -> String -> String -> String -> String -> String -> String -> String -> Value
vInd l _P _I _D p _M m i x = rInd
  (var l)
  (var _P)
  (var _I)
  (var _D)
  (var p)
  (fbind2 _M "i" "x")
  (fbind3 m "i" "xs" "ihs")
  (var i)
  (s2n x)
vInd l _P _I _D p _M m i x = rInd
  (var l)
  (var _P)
  (var _I)
  (var _D)
  (var p)
  (fbind2 _M "i" "x")
  (fbind3 m "i" "xs" "ihs")
  (var i)
  (s2n x)