@@ -126,10 +126,12 @@ createTable table columns constraints = UnsafeDefinition $
126126
127127-- | `createTable` adds a table to the schema.
128128--
129−-- >>> :set -XOverloadedLabels
129+-- >>> :set -XOverloadedLabels -XTypeApplications
130+-- >>> type Table = '[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGfloat4]
131+-- >>> type Schema = '["tab" ::: Table]
130132-- >>> :{
131−-- renderDefinition $
132−-- createTableIfNotExists #tab (int `As` #a :* real `As` #b :* Nil) Nil
133+-- renderDefinition
134+-- (createTableIfNotExists #tab (int `As` #a :* real `As` #b :* Nil) Nil :: Definition Schema Schema)
133135-- :}
134136-- "CREATE TABLE IF NOT EXISTS tab (a int, b real);"
135137createTableIfNotExists