'
a
->
'
a
->
object
(
'
b)
method
eq :
'
b
->
bool
method
first :
'
a
method
second :
'
a
end