make it more explicit that Dest is a function