&gt; You can rebind variables in ghci<p>No, you can&#x27;t: <a href="http:&#x2F;&#x2F;pastebin.com&#x2F;SdbKM7V7" rel="nofollow">http:&#x2F;&#x2F;pastebin.com&#x2F;SdbKM7V7</a><p>In ML and Haskell, a new variable might <i>shadow</i> an old one (if they have the same name), but they are still different variables.<p>Shadowing is slightly harder to implement than rebinding, but it provides a useful guarantee for the user: the meaning of existing definitions remains stable even if new definitions are introduced into the environment.