@@ -35,6 +35,9 @@ import Rel8.Table.Recontextualize ( Recontextualize )
3535import Rel8.Type ( DBType )
3636
3737
38+-- | This type family is used to specify columns in 'Rel8able's. In @Column f
39+-- a@, @f@ is the context of the column (which should be left polymorphic in
40+-- 'Rel8able' definitions), and @a@ is the type of the column.
3841type Column :: K.Context -> Type -> Type
3942type family Column context a where
4043 Column (Reify context) a = AColumn context a