Konwersja alfa - haskell

Question

data E = Var String
       | App E E
       | Abs String E
         deriving (Eq, Show)

alpha :: String -> String -> E -> E

Jak w języku haskell napisać metodę konwersji alfa?

Comments

Nie rozumiem dlaczego ta funkcja ma mieć dwa argumenty typu String. Konwersja alfa dotyczy abstrakcji lambda, jak masz abstrakcję, to wiesz przecież jak nazywa się zmienna do zastąpienia.

---

alpha a x e -> [a/x]e