vCase :: String -> String -> String -> String -> Value
vCase _E _P cs t = rCase
  (var _E)
  (fbind _P "t")
  (var cs)
  (s2n t)
vCase :: String -> String -> String -> String -> Value
vCase _E _P cs t = rCase
  (var _E)
  (fbind _P "t")
  (var cs)
  (s2n t)
vCase _E _P cs t = rCase
  (var _E)
  (fbind _P "t")
  (var cs)
  (s2n t)