Implicit

Tagged Types & Implicit Resolution.