Data constructors as functions (morphisms), in this case from the terminal object (since they are nullary).