Parameter Make.T

type t
val create : unit -> t @@ stateless

create may be called arbitrarily many times.