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