R:
Size: a a a
R:
AP
MP
AP
R:
AP
AP
AP
R:
MP
AP
AP
QZ
QZ
RT
MP
MP
MP
(<|) : (a -> b) -> a -> b
Int -> String -> String
R:
(<|) : (a -> b) -> a -> b
Int -> String -> String
succ :: Int -> Int
succ = (+) 1
succ succ 2 -- будет ошибка
succ <| succ 2 -- сработает
succ (succ 2) -- тоже сработает