Constants are either type constants or instance constants.

You define and set type constants at the type level.  It means that you can't modify them in instances of the type.

You define instance constants at the type level but set them at the instance level.