def subst_norm(t, instsp):
    """Substitute using the given instantiation, then normalize with
    respect to beta-conversion.

    """
    tyinst, inst = instsp
    return t.subst_type(tyinst).subst(inst).beta_norm()