let
destruct (
#
t
as
t) f = f t