The kata is broken again. Everything seems ok locally, but here I can't neither test nor attempt my solution because of the following error:

<no location info>: error:
    Simplifier ticks exhausted
  When trying UnfoldingDone $w$cprettify
  To increase the limit, use -fsimpl-tick-factor=N (default 100).
   
  In addition try adjusting -funfolding-case-threshold=N and
  -funfolding-case-scaling=N for the module in question.
  Using threshold=1 and scaling=5 should break most inlining loops.
   
  If you need to increase the tick factor substantially, while also
  adjusting unfolding parameters please file a bug report and
  indicate the factor you needed.
   
  If GHC was unable to complete compilation even with a very large factor
  (a thousand or more), please consult the "Known bugs or infelicities"
  section in the Users Guide before filing a report. There are a
  few situations unlikely to occur in practical programs for which
  simplifier non-termination has been judged acceptable.
   
  To see detailed counts use -ddump-simpl-stats
  Total ticks: 58523

:)