fourmolu-0.2.0.0: data/examples/declaration/type/promotion-out.hs

type Foo = Cluster '[ 'NodeCore, 'NodeRelay', 'NodeEdge]

type Query = Query '[] '[] DB '[ 'NotNull 'PGint4] (RowPG RawElementData)

data T = T' | T'T

type S0 = ' T'

type S1 = ' T'T

type S2 = Proxy ('[ '[], '[]])

type S4 = Proxy ('( 'Just, ' T'T))

type S5 = Proxy ('[ 'Just, 'TT'T])

type S6 = Proxy ('( '(), '()))

type S7 = Proxy ('( 'a, 'b))

type S8 = Proxy ('[Int, Bool])