Телеграмм чат группы haskellru страница 12177

Я хочу такое

19:02пожаловаться #1

но оно по понятным причинам в таком виде не работает

19:03пожаловаться #2

вопрос : что с этим можно сделать?

19:03пожаловаться #3

SuchGoodConstraint у меня на самом деле внутри третьего тайпкласса сидит, но не думаю что это принципиально

19:03пожаловаться #4

так а a ты откуда хочешь брать?

19:03пожаловаться #5

Maxim Koltsov

так а a ты откуда хочешь брать?

ну a же единственным образом из m получается

19:04пожаловаться #6

хм

19:04пожаловаться #7

поэтому казалось бы это должно быть чем-то возможным

19:04пожаловаться #8

type SGC m = forall a. (Foo m a, Bar a)

19:04пожаловаться #9

с QuantifiedConstraints

19:04пожаловаться #10

прокатит?

19:04пожаловаться #11

я не уверен

19:04пожаловаться #12

наверно лучше forall a. (Foo m a => Bar a)

19:05пожаловаться #13

хотя я не уверен совсем :)

19:05пожаловаться #14

Maxim Koltsov

type SGC m = forall a. (Foo m a, Bar a)

когда потом пытаюсь такое использовать получаю

Illegal polymorphic type: SuchGoodConstraint m
  GHC doesn't yet support impredicative polymorphism

19:06пожаловаться #15

Печалька

19:07пожаловаться #16

А ConstraintKinds включён?

19:08пожаловаться #17

Может он тебя не понял

19:08пожаловаться #18

Ilya Kos

ну a же единственным образом из m получается

можно как-то на пальцах объяснить почему компилятор такое не умеет нормально?

19:08пожаловаться #19

Maxim Koltsov

А ConstraintKinds включён?

ес