I suspect because writing memoization means controlling memoization, and controlling memoization in Haskell means either hacking the compiler, or dealing with s

I suspect because writing memoization means controlling memoization, and controlling memoization in Haskell means either hacking the compiler, or dealing with state, and state means monads, and nobody likes monads. (Except those people who love monads, of course).