The module defines the derive/1 macro which can be used to derive a run-time checker for the given type.
derive/1