vElimUnit :: String -> String -> String -> Value
vElimUnit _P ptt u = rElimUnit (fbind _P "u") (var ptt) (s2n u)
vElimUnit :: String -> String -> String -> Value
vElimUnit _P ptt u = rElimUnit (fbind _P "u") (var ptt) (s2n u)
vElimUnit _P ptt u = rElimUnit (fbind _P "u") (var ptt) (s2n u)