let (>><) = destruct