vBranches :: String -> String -> Value
vBranches _E _P = rBranches
  (s2n _E)
  (fbind _P "t")
vBranches :: String -> String -> Value
vBranches _E _P = rBranches
  (s2n _E)
  (fbind _P "t")
vBranches _E _P = rBranches
  (s2n _E)
  (fbind _P "t")