public static IExpression <Bind, Id, T> Qualify <Bind, Id, T>(this IUniverse universe, T term)
{
var type = new Term <Bind, Id>(new TermF <Bind, Id, ITerm <Bind, Id> > .Universe(universe));
return(new Expression <Bind, Id, T>(
universe: universe.TypeOf(),
type: type,
term: term));
}
