bindUnLetIntroR, letFloatCaseAltR