La respuesta de Darkhogg no me parece precisa.  Primero que nada, la pureza funcional y falta de estado no son la causa de este problema.  Aunque sí es cierto que no podemos modificar los **valores** en Haskell, sí podemos **opacar los nombres** localmente con definiciones de alcanze más corto ("shadow a binding with another one in a narrower scope").  Esto es fácil de demostrar en el intérprete:

    GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
    Prelude> let lista = [1..5]
    Prelude> let ejemplo xs = xs ++ lista
    Prelude> lista
    [1,2,3,4,5]
    Prelude> ejemplo [4]
    [4,1,2,3,4,5]
    Prelude> let lista = [1..3]
    Prelude> lista
    [1,2,3]
    Prelude> ejemplo [4]
    [4,1,2,3,4,5]

Se ve que:

1. Pudimos redefinir el nombre `lista`.
2. Cada uso del nombre se refiere al valor que está en alcanze ("in scope") en ese uso.  Por ejemplo:
 * La función `ejemplo` se definió en un contexto en que `lista ` [1..5]`.
 * Por lo tanto, el valor de `ejemplo [4]` no cambia después de la redefinición de `lista`.  

La redefinición no modificó el valor antiguo de `lista`, su único efecto es definiciones futuras que usen el mismo nombre ven el valor nuevo.

Lo segundo que cabe notar es que no es buena idea pensar que en Haskell "todas las variables son, en cierto modo, funciones."  Pensar de ese modo lo que have es confundir el asunto.

Para entender la dificultad del ejemplo lo que hay que notar es que Haskell, a diferencia de casi cualquier otro lenguaje común, permite definiciones recursivas no solo de de funciones sino también de valores.  Por ejemplo, la siguiente función construye una lista circular:

    cycle :: [a] -> [a]
    cycle as = let result = as ++ result in result

En esta definición, la variable `result` se usa simultáneamente en el lado izquierdo como el derecho de su definición, tanto como el nombre que definimos, y como argumento a la función que produce el resultado que le asignamos al nombre.  En Haskell esto funciona, gracias a la "vagancia" ("lazy evaluation").  

Y eso es lo que ocurre en tu ejemplo:

    Prelude> let list = reverse list

Tu expectativa es que en el lado derecho del `=`, el nombre `list` se refiere a su definición anterior, en otro alcanze ("scope").  En casi cualquier otro idioma esa expectativa sería correcta, pero no lo es en Haskell—en esta definición, `list` en la derecha se refiere a `list` en la izquierda.