| Instances | | C Double Double | | C Float Float | | (C a b0, C a b1) => C a (b0, b1) | | (C a b0, C a b1, C a b2) => C a (b0, b1, b2) | | C a b => C a (c -> b) | | (C a, C a b) => C a (T b) | | (C a, C a b) => C a (T b) | | (C a, C a b) => C a (T b) | | C a b => C a (T b) | | C a b => C a (T b) | | (C a v, C v) => C a (T v) | | C a b => C a [b] | | (Ord i, Eq a, Eq v, C a, C a v) => C a (Map i v) | | C a v => C a (T b v) | | (Ord i, C a v) => C a (T i v) |
|
|