MK
it describe и shouldBeSize: a a a
MK
it describe и shouldBeOO
DI
DI
it should be not equal to - и каждое слово перегруженная функцияDI
R
-- >>> :t let xs = [xsHasA, xsHasB] in specializeAllAsEmptyList xsто есть
-- let xs = [xsHasA, xsHasB] in specializeAllAsEmptyList xs
-- :: [Proxy '["a", "b"]]
-- >>> :t specializeAllAsEmptyList [xsHasA, xsHasB]
-- <interactive>:1:27-32: error:
-- • Couldn't match type ‘'[]’ with ‘"a" : xs'0’
-- arising from a use of ‘xsHasA’
-- • In the expression: xsHasA
-- In the first argument of ‘specializeAllAsEmptyList’, namely
-- ‘[xsHasA, xsHasB]’
-- In the expression: specializeAllAsEmptyList [xsHasA, xsHasB]
let x = e in f x тайпчекается а просто f e — нетOO
OO
DI
OO
AV
OO
OO
OO
OO
OO
KZ
AP
AP