| 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) |
|
|