к
тааак
Not in scope: type variable ‘a’
|
217 | g @a x
| ^
постоянно забываю какие там правила, чтобы ему сказать, что буковка х в сигнатуре и буковка х в теле функции значит одно и то же
g :: b -> Bool
g _ = False
f :: a -> Set a -> Bool
f x xs = g @a x
Not in scope: type variable ‘a’
|
217 | g @a x
| ^
постоянно забываю какие там правила, чтобы ему сказать, что буковка х в сигнатуре и буковка х в теле функции значит одно и то же
можно и без форала, просто биндить в паттернах, а не в сигнатуре