haskell-src-exts-1.24.0: tests/examples/TypeListCons.hs.prettyprinter.golden
{-# LANGUAGE DataKinds, TypeOperators #-}
module TypeListCons where
type List1 a = a ': '[]
type List2 a b = a ': '[]
type List3 a b c = a ': b ': c ': '[]
{-# LANGUAGE DataKinds, TypeOperators #-}
module TypeListCons where
type List1 a = a ': '[]
type List2 a b = a ': '[]
type List3 a b c = a ': b ': c ': '[]