NL
Увы, я только сейчас добрался до половины книжки, которую планировал дочитать до апреля.
Size: a a a
NL
G
T1
T1
G
DF
p
insSort : (Ord elem) => Vect n elem -> Vect n elem
insSort [] = []
insSort (x :: xs) =
let sortedXs = insSort xs
position = findPosition x sortedXs
in insertAt position x sortedXs
where
findPosition x xs = let maybeIndex = findIndex (\elm => x < elm) xs in
fromMaybe last (weaken <$> maybeIndex)
Где
тут нет вывода типов?G
G
G
AZ
G
DB
T1
AZ
VS
p
G
p
AZ