Documentation
We could add functional dependencies |k -> t| and |t -> k|, but since Haskell has a nominal type system there may be several isomorphic key types that relate to the same table type (or vice versa).
We could add functional dependencies |k -> t| and |t -> k|, but since Haskell has a nominal type system there may be several isomorphic key types that relate to the same table type (or vice versa).