type A = for<'a> Test<'a> + Send;