ankh-morpork

Does anyone have advice on how to make recursive Husk programs type check (or fail to type check) in a more reasonable amount of time? Maybe there's some way to provide type annotations to reduce the size of the search space?