This type is managed by TypeCheck, which allows checking values against the type at runtime.
TypeCheck
key() :: any()
Full definition:
value() :: any()