functor (T : Typeable.Typeable) ->
  sig
    val sum : (int * Pickle.id list -> T.a m) -> Pickle.id -> T.a m
    val tuple : (Pickle.id list -> T.a m) -> Pickle.id -> T.a m
    val record :
      (T.a -> Pickle.id list -> T.a m) -> int -> Pickle.id -> T.a m
  end