Contra

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