Type Definition LMCons
agnes::label
type LMCons<L, M, T> = LVCons<L, PhantomData<M>, T>;
Label-marker cons-list