Write a bit on GHC core
Stuff
More TODOs