external
identity :
'
a
->
'
a =
"%identity"