let
destruct =
fun
_
->
()