Fixed: lazy funs did not return a read-only.