Add coproduct codec builder derivation