ass-bind is peak
— Clar Fon, discussing possible abbreviations for "assumptions on binders"
From the T-types meeting