diff --git a/serlib/ser_sorts.ml b/serlib/ser_sorts.ml
index 240278d4..5b3c022d 100644
--- a/serlib/ser_sorts.ml
+++ b/serlib/ser_sorts.ml
@@ -16,6 +16,10 @@
 (* Written by: Emilio J. Gallego Arias and others                       *)
 (************************************************************************)
 
+open Ppx_sexp_conv_lib.Conv
+open Ppx_hash_lib.Std.Hash.Builtin
+open Ppx_compare_lib.Builtin
+
 module Univ = Ser_univ
 
 type family =
@@ -46,6 +50,7 @@ module Quality = struct
   end
   include Self
   module Set = Ser_cSet.Make(Sorts.Quality.Set)(Self)
+  type pattern = [%import: Sorts.Quality.pattern] [@@deriving sexp,yojson,hash,compare]
 end
 
 module PierceSpec = struct
diff --git a/serlib/ser_sorts.mli b/serlib/ser_sorts.mli
index 1b46f90f..9ff77aa6 100644
--- a/serlib/ser_sorts.mli
+++ b/serlib/ser_sorts.mli
@@ -32,6 +32,8 @@ module Quality : sig
 
   include SerType.SJHC with type t = Sorts.Quality.t
   module Set : SerType.SJHC with type t = Sorts.Quality.Set.t
+
+  type pattern = Sorts.Quality.pattern [@@deriving sexp,yojson,hash,compare]
 end
 
 module QConstraints : SerType.SJHC with type t = Sorts.QConstraints.t