@@ -161,6 +161,8 @@ import Squeal.PostgreSQL
161161import System.Environment
162162
163163-- | A `Migration` is a named "isomorphism" over a given category.
164+-- It should contain an inverse pair of `up` and `down`
165+-- instructions and a unique `name`.
164166data Migration p schemas0 schemas1 = Migration
165167 { name :: Text -- ^ The `name` of a `Migration`.
166168 -- Each `name` in a `Migration` should be unique.