Closed

fun Closed(from: Closed)
fun Closed(state: Closing)