Basic operations on Const
Const.apply arg1 arg2
Const<^C, ('T -> 'U)>
Const<^C, 'T>
Const<^C, 'U>
Const.map arg1 arg2
'T -> 'U
Const<'C, 'T>
Const<'C, 'U>
Const.run arg1
Const<'f, 'g>
'f