Basic operations on Identity
Identity.apply arg1 arg2
Identity<('T -> 'U)>
Identity<'T>
Identity<'U>
Identity.bind f arg2
'T -> Identity<'U>
Identity.run arg1
'T