LambdaWrapper -> lamKind