is there any chance I can get something like

fun <T != Unit> something(work: () -> T){ ...

though I feel silly for asking because afaik literally no other language with a similar type system does this.