Laws

This is used to mark an object as containing only laws. This way you do not have to write the annotation on every element, and you can group several of them together.

@Laws
object IntLaws {
  fun Int.plusLaw { ... }
}