Reifying monomorphic lambdas.