< cat.protocom.example.cat" Cat is_lazy
(RisLazy