pedant

https://github.com/JaredKuolt/pedant

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