@@ -22,6 +22,7 @@ import Rel8.Schema.HTable ( HTable )
2222import qualified Rel8.Schema.Kind as K
2323import Rel8.Schema.Null ( Sql )
2424import Rel8.Schema.Result ( Result )
25+import Rel8.Schema.Spec ( KnownSpec )
2526import Rel8.Table ( Table, Congruent )
2627import Rel8.Type ( DBType )
2728
@@ -47,6 +48,9 @@ class
4748instance Sql DBType a => Recontextualize Result Result (Identity a) (Identity a)
4849
4950
51+instance KnownSpec spec => Recontextualize from to (Col from spec) (Col to spec)
52+
53+
5054instance HTable t => Recontextualize from to (t (Col from)) (t (Col to))
5155
5256