See http://darcs.haskell.org/ghc/compiler/specialise/SpecConstr.lhs