Comments only
Add a better implementation of dropTail, and use it
Improve eta-reduction some more, when the function includes casts
Fix Haddock formatting
Comments only