a) => CongruentModel a { p :: a, q :: a, r :: a }?
Так не надо, вешай ограничение на операции
то есть ты предлагаешь тип без ограничений, а функции, которые с типом работают, чтобы были Integral a => ?
Обсуждают сегодня