Context Bounds and Implicitly