X
Size: a a a
LO
LO
MK
AV
trait Class {
const NAME: &str;
}
class Class a where
name :: String
Could not deduce (Request a0)
— я так понимаю, он ждёт аргумента, чей тип включает в себя a
, но мне нужна константа, а не функцияMK
AllowAmbigousTypes
и TypeApplications
MK
instance Class Foo where
name = "foo"
> putStrLn $ name @Foo
foo
AV
MK
AV
AllowAmbigousTypes
звучит как-то нехорошо, не знаю 🤷♂️MK
Oℕ
Oℕ
Oℕ
AV