All-typsed view 2