вместо
foo :: MyClass a b => Proxy b -> a -> Bar
Вот так:
foo :: MyClass a b => a -> Bar?
Чтоб просто нужно было тип явно указывать при вызове, а не проксями бросаться
да, AAT + TA
пиши forall a b. в сигнатуре и дальше по подсказкам компилятора
Allow ambiguous types
удобнее всего сделать так foo :: forall b a. MyClass a b => a -> Bar x :: A y = foo @B x
Обсуждают сегодня