Type Alias Concat 

pub type Concat<X, A, B> = App<App<FConcat, X>, Tup<A, B>>;

concat{x}(a, b).

Aliased Type

pub struct Concat<X, A, B>(/* private fields */);