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