definedType tp = c where [(HsCon c,_)] = definedNames tp 

{-+
Auxiliary functions to simplify the definition of instances of #DefinedNames#:
-}
definedType tp = c where [(HsCon c,_)] = definedNames tp 

{-+
Auxiliary functions to simplify the definition of instances of #DefinedNames#:
-}
definedType tp = c where [(HsCon c,_)] = definedNames tp 

{-+
Auxiliary functions to simplify the definition of instances of #DefinedNames#:
-}