Czy są jakieś rozszerzenia języka lub potomkowie Haskella, którzy preferują ekspresję, szczególnie w obsłudze instancji?

Question

Czasami biegnę do „funkcji”, który Haskell pasuje tylko instancji głowy, mianowicie

instance (a ~ NewDataTyp b) => C a 

będzie teraz pasuje do jakiegokolwiek typu, czyli pisząc kolejną deklarację instancji C w programie będzie jest błąd, nawet jeśli to nie może prawdopodobnie być konfliktem z powodu kontekstu a ~ NewDataTyp b. Czasami pokonanie wymaga wiele wysiłku; Musiałem zrestrukturyzować setki linii kodu, aby uniknąć tego ograniczenia.

Czy są jakieś rozszerzenia językowe lub języki potomne (Curry? Agda?), Które zostały zaprojektowane z wyższym priorytetem dla ekspresji? To może potencjalnie poświęcić (a) otwartość świata typeclass (b) typowania wielomianowego czasu.

edit - dla zainteresowanych w pytaniu, strona ta może być także interesujące: http://www.haskell.org/haskellwiki/Future_of_Haskell

Answer 1

Na co warto, Scala akceptuje tłumaczenie bardziej lub mniej dosłowne, co właśnie napisałem. Nie jestem pewien, jakie to przydatne.

trait C[T] 
case class NewDataType[T]() 

implicit def letItBeInjectiveWhyNot[K[_],T]: K[T] =:= K[T] 

implicit def cIsh[A,S](implicit ev: A =:= NewDataType[S]): C[A] 
implicit def another: C[Int] 

implicitly[C[NewDataType[String]]] 
implicitly[C[Int]]