retag

fun <U> retag(): Const<A, U>