А⚙
Size: a a a
А⚙
Т8
P
Т8
P
P
P
Т8
p
DS
P
А⚙
А⚙
P
Т8
P
Т8
r
arr :: Integer -> Maybe a
, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b
, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c
P
p
arr :: Integer -> Maybe a
, такая, что для любых a и b, для которых выполняется a <= b && isJust $ arr a && isJust $ arr b
, не существует с для которого выполняется a <= c && c <= b && isNothing $ arr c