posva types: improve inference