@@ -114,7 +114,7 @@ type Schema =
114114
115115>>> :{
116116let
117− setup :: Definition '[] Schema
117+ setup :: Definition '["public" ::: '[]] '["public" ::: Schema]
118118 setup =
119119 createTypeEnumFrom @Schwarma #schwarma >>>
120120 createTypeCompositeFrom @Person #person
@@ -146,7 +146,7 @@ Once again, define a round trip query.
146146
147147>>> :{
148148let
149− roundTrip :: Query Schema (TuplePG Row) (RowPG Row)
149+ roundTrip :: Query '["public" ::: Schema] (TuplePG Row) (RowPG Row)
150150 roundTrip = values_ $
151151 parameter @1 (typedef #schwarma) `as` #schwarma :*
152152 parameter @2 (typedef #person) `as` #person1 :*
@@ -157,7 +157,7 @@ Finally, we can drop our type definitions.
157157
158158>>> :{
159159let
160− teardown :: Definition Schema '[]
160+ teardown :: Definition '["public" ::: Schema] '["public" ::: '[]]
161161 teardown = dropType #schwarma >>> dropType #person
162162:}
163163