include module type of (Application.Make(struct type t = State.t end))