Variant

fun Variant(name: String, traverse: A_Type.() -> A_Type)