#group extensions/datakinds-promoted-types

### The spaces before commas are undesirable
#test 1
test :: Proxy '[ 'True ]
test = Proxy @'[ 'True ]
#test 2
test :: Proxy '[True]
test = Proxy @'[True]
#test 3
test :: Proxy '[ 'True, False ]
test = Proxy @'[ 'True, False ]
#test 4
test :: Proxy '[True, False]
test = Proxy @'[True, False]
#test 5
test :: Proxy '[True, 'False]
test = Proxy @'[True, 'False]
#test 6
test :: Proxy '[ 'True, 'False ]
test = Proxy @'[ 'True, 'False ]
#test 7
test :: Proxy '[ 'Just 'True, False ]
test = Proxy @'[ 'Just 'True, False ]
#test 8
test :: Proxy '[Just True, False]
test = Proxy @'[Just True, False]
#test 9
test :: Proxy '[('True)]
test = Proxy @'[('True)]
#test 10
test :: Proxy ('Just 'True)
test = Proxy @('Just 'True)
#test 11
test :: Proxy ('True)
test = Proxy @('True)

#test with-comment-1
test
  :: Proxy '[-- comment
              'True ]
test = Proxy @'[-- comment
                 'True ]

#test with-comment-2
test
  :: Proxy '[-- comment
             True]
test = Proxy @'[-- comment
                True]

#test with-comment-3
test
  :: Proxy '[{- comment -} 'True ]
test = Proxy @'[{- comment -} 'True ]

#test with-comment-4
test
  :: Proxy '[{- comment -}
              'True ]
test = Proxy @'[{- comment -}
                 'True ]

#test with-comment-5
test
  :: Proxy '[{- comment -} True]
test = Proxy @'[{- comment -} True]

#test with-comment-6
test
  :: Proxy '[{- comment -}
             True]
test = Proxy @'[{- comment -}
                True]

#test explicit-list-type non-promoted
type Foo = '[Bool, Bool, Bool]

#test explicit-list-type promoted
type Foo = '[ 'Bool, Bool, Bool ]