@@ -88,7 +88,6 @@ module Squeal.PostgreSQL.Schema
8888 , PGNum
8989 , PGIntegral
9090 , PGFloating
91− , PGTypeOf
9291 , SameTypes
9392 , SamePGType
9493 , AllNotNull
@@ -489,10 +488,6 @@ type PGFloating ty = In ty '[ 'PGfloat4, 'PGfloat8, 'PGnumeric]
489488-- `Squeal.PostgreSQL.Expression.mod_` functions.
490489type PGIntegral ty = In ty '[ 'PGint2, 'PGint4, 'PGint8]
491490
492−-- | `PGTypeOf` forgets about @NULL@ and any column constraints.
493−type family PGTypeOf (ty :: NullityType) :: PGType where
494− PGTypeOf (nullity pg) = pg
495−
496491-- | `SameTypes` is a constraint that proves two `ColumnsType`s have the same
497492-- length and the same `ColumnType`s.
498493type family SameTypes (columns0 :: ColumnsType) (columns1 :: ColumnsType)