pub fn inject<I, X, C>(x: X) -> Cwhere C: At<I, X>,
Create a coproduct containing X. This standalone function more convenient than the method or trait when writing very abstracted code.
