module type T {
  type t;

  create: pure fn!(value: String) -> t;
  read: pure fn!(store: t) -> String;
}