sig
  type ('a, 's) t
  val name : ('a, 's) Record.Field.t -> string
  val ftype : ('a, 's) Record.Field.t -> 'a Record.Type.t
end