finish Either a b type example