> hindley-milner style type checking is nice, but once you admit that things like arrays exist How are these related? Haskell has arrays. Arrays can be represe

> hindley-milner style type checking is nice, but once you admit that things like arrays exist How are these related? Haskell has arrays. Arrays can be represented as algebraic data types as well. What is it you think Haskell has trouble representing?