destructuring on defns