sig
val
( $ ) : (
'
a
->
'
b)
->
(
'
c
->
'
a)
->
'
c
->
'
b
end