In Matthew Pickering\'s blog post about inlining, he mentions a trick to force GHC to inline recursive definitions applied to a statically known argument:
Ho
