This seems very strange to me. Why cannot type be annotated with `Univ`?