Sup

fun Sup(value: () -> A_Type)