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

[Leza Morais Lutonda]

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