let
lambda : (
'
a repr
->
'
b repr)
->
(
'
a
->
'
b) repr =
fun
f
->
Lambda
f