using LX = atch::meta_list<class A>;

template <typename T>
auto make_lambda (T && f)
{
	LX::push <T> (); //сохраняем тип лямбды в метастеке
	return f;
}

int main ()
{
	auto x = make_lambda ([] {
		LX::value <>::at <0>::result *y; //указатель на тип x
	});
	return 0;
}