on return values?
Good point. I suppose doing a runtime type-check is possible if using the ORM, too.