Another day, another HLF example typed in and checked. This one did trigger a minor bug in coverage checking, (the monotonicity check was absurdly too-conservative in the case of a type family not declared with @type) which was easy to fix.