Write a bit more about GHC core
Add sum example again