UNI-1 reads impl
UNI-1 type annotation