Type Alias Signature 

pub type Signature<L, T> = <L as Functor>::Container<T>;

A type synonym for L::Container<T>, which corresponds to primitive terms of L with parameters in T.