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 são ambas normais, assim como muitas outras páginas, no entanto https://hackage.haskell.org/package/lazysmallcheck não é. Eu vi muitos módulos como o último e não consegui encontrar a resposta.
Existe alguma maneira de fazer isso?
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
Eu quero fazer esse tipo por exemplo
type Vector25 = C (C V16 V8) V Empty
Sem ter que fazer
type Vector25 = (V16 (V8 (V Empty))