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