fbind2 :: String -> String -> String -> Bind Nom2 Value
fbind2 f x y = sbind2 x y $ vApp2 f (var x) (var y)
fbind2 :: String -> String -> String -> Bind Nom2 Value
fbind2 f x y = sbind2 x y $ vApp2 f (var x) (var y)
fbind2 f x y = sbind2 x y $ vApp2 f (var x) (var y)