`impl Trait` for statics and consts

This looks longer than just writing a function though. The point of type_alias_impl_trait is that you can give a name to the closure and store it in a type without using generics.