Is there a good source for the operational semantics of Haskell?  I am trying to squeeze the most efficiency out of a bit of code and am looking to remove unnecessary reductions.