Update example with type_implementations