array: fix bug (respect Proxy API across GHCs)