@@ -27,6 +27,9 @@ import Rel8.Table ( Table, Congruent )
2727import Rel8.Type ( DBType )
2828
2929
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@.
3033type Recontextualize :: K.Context -> K.Context -> Type -> Type -> Constraint
3134class
3235 ( Table from a