(SingKind k1, Serial (DemoteRep k1), Dict1 k1 * Serial f1) => Serial (Some1 k1 f1) Source # | |
|
(SingKind k2, SingKind k1, Serial (DemoteRep k2), Serial (DemoteRep k1), Dict2 k1 k2 * Serial f2) => Serial (Some2 k1 k2 f2) Source # | |
|
(SingKind k3, SingKind k2, SingKind k1, Serial (DemoteRep k3), Serial (DemoteRep k2), Serial (DemoteRep k1), Dict3 k1 k2 k3 * Serial f3) => Serial (Some3 k1 k2 k3 f3) Source # | |
|
(SingKind k4, SingKind k3, SingKind k2, SingKind k1, Serial (DemoteRep k4), Serial (DemoteRep k3), Serial (DemoteRep k2), Serial (DemoteRep k1), Dict4 k1 k2 k3 k4 * Serial f4) => Serial (Some4 k1 k2 k3 k4 f4) Source # | |
|