(class foo (read))

(type bar)
(allow bar self (foo (read)))