Looks clean! In impl blocks, how do you tell apart generic and concrete types? Is it possible for Foo to implement From[Bar] or Into[Baz]?