let
destruct _ = ()