Use array 0.5.* for compilation under ghc-7.8.*