Expansion.Simple
Demonstrates simple expansion with a type equality
module StringSet : Stdlib.Set.S with type t = string