lambdas > defns