external
(|>) :
'
a
->
(
'
a
->
'
b)
->
'
b =
"%revapply"