identity template
select one of two valid expressions based on a boolean expression
remove qualifiers from a type
identity function
compose a list of templates into a single template
get the type of a single-symbol expression
extract the deepest underlying type of a nested series of unary templates
mixin a zero-parameter template (useful for mixing in templates from a list)
extract the underlying type of a unary template type