method
unknown :
'
a.
'
a
->
'
a =
fun
x
->
x