switch to rank-1 types
update example