GHC中自特化的传递性

从 GHC 7.6 的 the docs：

[Y] 你通常一开始甚至不需要 SPECIALIZE 编译指示。在编译模块 M 时，GHC 的优化器（带 -O）会自动考虑在 M 中声明的每个顶级重载函数，并将其专门用于在 M 中调用它的不同类型。优化器还考虑每个导入的 INLINABLE 重载函数，并将它专门用于在 M 中调用它的不同类型。

和

此外，给定函数 f 的 SPECIALIZE pragma，GHC 将自动为 f 调用的任何类型类重载函数创建特化，如果它们与 SPECIALIZE pragma 在同一个模块中，或者它们是 INLINABLE；以此类推，传递。

因此，GHC 应该自动特化标记为 INLINABLE 没有 pragma 的 some/most/all(?) 函数，如果我使用显式 pragma，则特化是可传递的。我的问题是：auto-specialization 是可传递的吗？

具体来说，这是一个小例子：

主要.hs：

import Data.Vector.Unboxed as U
import Foo

main =
    let y = Bar $ Qux $ U.replicate 11221184 0 :: Foo (Qux Int)
        (Bar (Qux ans)) = iterate (plus y) y !! 100
    in putStr $ show $ foldl1' (*) ans

Foo.hs：

module Foo (Qux(..), Foo(..), plus) where

import Data.Vector.Unboxed as U

newtype Qux r = Qux (Vector r)
-- GHC inlines `plus` if I remove the bangs or the Baz constructor
data Foo t = Bar !t
           | Baz !t

instance (Num r, Unbox r) => Num (Qux r) where
    {-# INLINABLE (+) #-}
    (Qux x) + (Qux y) = Qux $ U.zipWith (+) x y

{-# INLINABLE plus #-}
plus :: (Num t) => (Foo t) -> (Foo t) -> (Foo t)
plus (Bar v1) (Bar v2) = Bar $ v1 + v2

GHC 专门化了对 plus 的调用，但不专门化了 Qux Num 实例中的 (+)，这会降低性能。

然而，一个明确的 pragma

{-# SPECIALIZE plus :: Foo (Qux Int) -> Foo (Qux Int) -> Foo (Qux Int) #-}

如文档所示，导致 transitive 特化，因此 (+) 是特化的，代码速度提高了 30 倍（均使用 -O2 编译）。这是预期的行为吗？我是否应该只期望 (+) 通过显式 pragma 进行传递性特化？

更新

7.8.2 的文档没有改变，行为也是一样的，所以这个问题仍然是相关的。