 Instances  C Double Double  C Float Float  C a b => C a [b]  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, 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 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) 

