dtc
Laws, that must be obeyed by any DateTime typeclass
Laws, that must be obeyed by any LocalDateTimeTC instance