#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]