lambdex_typed
