Tagged-Types

Tagged Types & Implicit Resolution.