https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Base.html、 https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-List.html以及许多其他页面都正常，但是https://hackage.haskell.org/package/lazysmallcheck不正常。我见过很多像上一个这样的模块，但一直找不到答案。
有什么办法可以做到这一点？
type V = VList
{- type V2 a = V (V a)
type V4 a = V2 (V2 a)
type V8 a = V4 (V4 a)
type V16 a = V8 (V8 a)
type V32 a = V16 (V16 a) -}
type C a b c = a (b c)
type D a b = a b b
type E = D C
type V2 a = V (V a)
type V4 = E V2
type V8 = E V4
type V16 = E V8
type V32 = E V16
我想制作这种类型
type Vector25 = C (C V16 V8) V Empty
无需做
type Vector25 = (V16 (V8 (V Empty))