@@ -846,19 +846,11 @@ type family FieldTypeOf (maybe :: Type) where
846846 FieldTypeOf ty = TypeError
847847 ('Text "FieldTypeOf error: non-Maybe type " ':<>: 'ShowType ty)
848848
849−type family NullityTypeOf (hask :: Type) where
850− NullityTypeOf (Maybe hask) = 'Null (PG hask)
851− NullityTypeOf hask = 'NotNull (PG hask)
852−
853849-- | Calculate the types of fields.
854850type family FieldTypesOf (fields :: [Type]) where
855851 FieldTypesOf '[] = '[]
856852 FieldTypesOf (field ': fields) = FieldTypeOf field ': FieldTypesOf fields
857853
858−type family NullityTypesOf (hasks :: [Type]) where
859− NullityTypesOf '[] = '[]
860− NullityTypesOf (hask ': hasks) = NullityTypeOf hask ': NullityTypesOf hasks
861−
862854-- | Inspect the code of an algebraic datatype and ensure it's a product,
863855-- otherwise generate a type error
864856type family RecordCodeOf (hask :: Type) (code ::[[Type]]) :: [Type] where