What kinds of exotic syntax, Lifetime annotations and parameterising impl Trait like in returns? Also thoughts on carbon?