fourmolu-0.9.0.0: data/examples/declaration/type/promotion-1-out.hs
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])
type E = TypeError ('Text "Some text")
type G = '[ '( 'Just, 'Bool)]
type X = () '`PromotedInfix` ()