Moved bindUnLetIntroR & letFloatCaseAltR to HERMIT.Extras in hermit-extras
monomorphization notes
Try it; issues
Monomorphization example