Mention that the user has to import GHC.Exts for Constraint

(required judging from confusion on #haskell right now.)