Safe Haskell annotations