Variant

constructor(name: String, traverse: A_Type.() -> A_Type)