type A = for<'a> fn() -> ();