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