почему раньше не работало. Это как-то связано с simplified subsumption?
ого, это че, теперь аргументы-констрейнты сами выводятся
Может где-то они и выводятся, но например class Foo c where foo :: (c a => r) -> r bar :: Foo Show => a -> String bar a = foo (baz a) baz :: a -> (Show a => String) baz a = show a все еще не работает с cannot deduce Foo c0, поэтому я и удивляюсь почему оно не ambigouos
Обсуждают сегодня