module type SYM_TYPE = sig

  type 'a t

  type 'a obs

  val str :  DataType.String.t -> DataType.String.t t

  val num :  DataType.Num.t -> DataType.Num.t t

  val date:  DataType.Num.t -> DataType.Num.t t

  val bool : DataType.Bool.t -> DataType.Bool.t t

  val observe : 'a t -> 'a obs

end