Why don't Haskell compilers facilitate deterministic memory management?

Question

With the wealth of type information available why can\'t Haskell runtimes avoid running GC to clean up? It should be possible to figure out all usages and insert appropriate cal

Answer 1

Type information has mostly to do with compile time where as memory management is a runtime thing, so I don't think they are related to each other.