Remove Show (Some a) and Eq (Some a). Add a newtype SomeSingletonType1 providing those instances using deriving via.

Remove Show (Some a) and Eq (Some a). Add a newtype SomeSingletonType1 providing those instances using deriving via. #421