[Haskell-cafe] OverlappingInstances-extension-like for type families

Hello haskell-café, I just started working with type families, and come with some difficulties. Now I have a class: class (...) ⇒ Complexable s where type ComplexSignalType s ... Is there a possibility to have this two instances (in any way)? instance (RealFloat e) ⇒ Complexable [e] where type ComplexSignalType [e] = [ℂ e] instance (RealFloat e) ⇒ Complexable [ℂ e] where type ComplexSignalType [ℂ e] = [ℂ e] Thanks. -- Leza Morais Lutonda, Lemol-C http://lemol.github.io 50 Aniversario de la Cujae. Inaugurada por Fidel el 2 de diciembre de 1964 http://cujae.edu.cu