In defining your classes, you can define allowable return values for your methods by type and with user-defined guards.