Type Alias Len 

pub type Len<X, A> = App<App<FLen, X>, A>;

len{x}(a).

Aliased Type

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