Haskell `!?`算子摊还时间复杂度：文档与测试差异求权威参考

问题背景 #

Haskell 的 !? 算子官方文档说明如下：

列表索引（下标）算子，从0开始。若索引越界则返回Nothing
这是部分算子!!的全变体。
警告：该函数的时间复杂度与索引成线性关系。

但实际计时测试结果却和文档描述不符，推测可能是 GHC 在外部上下文求值时仅计算一次表达式的机制导致这一差异？

测试代码 #

ghci> length $ map ([0..10^8-1] !?) . map (`mod` (10^8 - 1)) $ [0..1 * 10^8 - 1]
100000000
(1.16 secs, 24,800,308,224 bytes)
ghci> length $ map ([0..10^8-1] !?) . map (`mod` (10^8 - 1)) $ [0..4 * 10^8 - 1]
400000000
(4.55 secs, 99,200,308,200 bytes)

核心疑问 #

是否有权威参考可以解释这一矛盾现象？

内容的提问来源于stack exchange，提问作者Brendan Langfield