nice kata

— andrei-bolkonsky

Thank you.

Not, of course. Collatz problem is a good counter-example.

can we take for granted from (Ord a) that the right part of the function only calls on smaller values?

just some easy Yoneda stuff, and nothing complicated.
winking

oops forgot to delete redundant importations

"The restriction is that the characters in part1 and part2 are in the same order as in s."

Guess there's some ambiguity here. I didn't realize this was given. Instead I thought I had to check it also.

pretty smart how the last line takes care of all cases with one of them being [].
took me several lines