Apreciaría si alguien pudiera apuntar a los documentos sobre lo que "deja" hacer en GHCi, o en su defecto, explicarlo de manera convincente :-).

Por lo que puedo decir, "dejar" (sin "en") no es parte del lenguaje Haskell per se, y por otro lado, tampoco parece ser un comando GHCI, ya que no tiene el prefijo de dos puntos .