add implicit def examples