Type Alias LamId 

pub type LamId<A, X> = Lam<Ty<A, X>, A>;

\(a : x) = a.

Aliased Type

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