The spec for one case passed to adt: null for a nullary case (which becomes a singleton value), or a function from the constructor arguments to the case's fields.
null
The spec for one case passed to adt:
nullfor a nullary case (which becomes a singleton value), or a function from the constructor arguments to the case's fields.