pretty notation for dependent application on equality