Nothing can be done about it at the moment and merging doesn't work here ~~

smart

That should fix it. I want the preloaded code available to people while they're testing their code, I was just trying to reuse the Lambda and Church type definitions. And, unfortunately, there's no way to test the "Initial Solution" code without publishing the kata.

I think the Preloaded import shouldn't be in the Initial Solution.
It causes an import cycle error even when running the test cases, so there is no way to use it from the solution file.

Also, there should be a subtitle in the description separating "Exponentiation Tips" and the testing tips.

I have the same problem :/

Changed the text, since it's actually about integral numbers (see the Haskell version: String -> Int). Sorry for the inconvenience.

This is the same problem as this one.

Maybe they should be merged.

Maybe you can add Logic and Recursion, but I think the current ones are ok.

I think this will walk the first k elements twice. Once to take i elements off the list and once to compute last.

Try again - and don't reimplement reverse - it's loads of fun!

this behaves correctly only if i <= length l

I forgot about the 'using a right fold' part :/