class C a b

Instances for atomic types

Instances for composed types