Added new (==>) operator for constructing `DSum t Identity` values
Added new 'Some' type that hides the phantom type parameter.