@@ -27,6 +27,9 @@ import Rel8.Table ( Table, Congruent )
27import Rel8.Type ( DBType )
27import Rel8.Type ( DBType )
30+-- | @Recontextualize from to a b@ is evidence that the types @a@ and @b@ are
31+-- related, and that @b@ is the same type as @a@, but after changing the
32+-- context from the initial context @from@, to the new context @to@.
30type Recontextualize :: K.Context -> K.Context -> Type -> Type -> Constraint
33type Recontextualize :: K.Context -> K.Context -> Type -> Type -> Constraint
32 ( Table from a
35 ( Table from a