[Haskell] ~ type operator

What does the ~ type operator mean? I've sometimes seen types such as (a ~ b) in error messages, but can't understand what GHC is trying to tell me. Thanks for any enlightenment!